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

[Eli Zaretskii]

> Date: Tue, 14 Sep 2010 09:03:13 +0200
> From: martin rudalics <rudalics@gmx.at>
> CC: =?UTF-8?B?SmFuIERqw6Rydg==?= <jan.h.d@swipnet.se>, 
>  7004@debbugs.gnu.org
> 
> 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.