bug#15046: 24.3.50; Extra Line under minibuffer in Mac OSX fullscreen

[Eli Zaretskii]

> Date: Fri, 9 Aug 2013 15:30:24 +0200
> From: Dani Moncayo <dmoncayo@gmail.com>
> Cc: 15046@debbugs.gnu.org
> 
> IMO, it is much better to give the leftover space to the main
> window(s) than to the mini-window.  The main reason I can think of now
> is that the main window(s) is (are) more likely to have more text
> beyond its last wholly-visible line than the mini-window (which
> usually will not need more than one line).

But OTOH the other windows are taller, so they have more lines than
the poor little minibuffer window.