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

From: Dani Moncayo <[email-masked]>
Date: Wed, 16 Mar 2011 21:13:40 +0100

This bug was closed prematurely, as I said in the last post in this
bug report (date 2010-12-08).

I asked to reopen it, but no one replied, so I've just done it myself.
I hope doing so it's OK.

-- 
Dani Moncayo