Am 28.08.2010, 01:59 Uhr, schrieb Joakim Högberg <gokmase@gmail.com>:
The option to be able to decide would absolutely be best IMO. Personally I much prefer the current "half height" info line rather than wasting space for no good reason.
I prefer it this way too - but I'm now using 9 point generally (have only 814 lines of screen), so I don't care. But it would be easy to introduce a new global option.
-- Helmut Karlowski