Subject: Re: bug#7004: 23.2; In fullscreen mode, the echo area takes too much vertical space

From: Eli Zaretskii <[email-masked]>
Date: Tue, 14 Sep 2010 19:32:07 +0200

> Date: Tue, 14 Sep 2010 09:03:13 +0200
> From: martin rudalics <[email-masked]>
> CC: =?UTF-8?B?SmFuIERqw6Rydg==?= <[email-masked]>, 
>  [email-masked]
> 
> What's also needed:
> 
> (1) Pixel-to-character conversion routines.
> 
> (2) Pixel-wise mouse tracking and coordinates_in_window stuff.
> 
> (3) Pixel-wise window-configurations storing and comparing.

Maybe I don't understand something, but all these are already in place
(perhaps with the exception of no. 3).  Note that I'm not talking
about being able to set a window height to any number of pixels, just
waste less space in the mini-window, which was the reason for this bug
report.