Subject: Re: bug#18195: 24.3.92; window-screen-lines is not accurate

From: Eli Zaretskii <[email-masked]>
Date: Tue, 05 Aug 2014 16:58:37 +0300

> Date: Tue, 05 Aug 2014 14:20:58 +0200
> From: martin rudalics <[email-masked]>
> 
>  > The docstring of `window-screen-lines' seems to claim that it's suitable. The implementation looks kinda right, too, but the result it returns is not accurate.
> 
> It again just returns a line value.

But that value is a floating-point number, so accuracy is not lost.