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

[Eli Zaretskii]

> Date: Tue, 05 Aug 2014 14:20:58 +0200
> From: martin rudalics <rudalics@gmx.at>
> 
>  > 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.