Christoph Plattner <[EMAIL PROTECTED]> writes:

> Depending on the key for further paging (<SPACE>, what ever),
> for dumb terminals a succeeding <ENTER> should be ignored
> (as the menu control in the new dumb terminal implementation).

Why not just have dumb terminal users hit <ENTER> instead of a
different key?

> Having such a "more"-like handling, I would prefer a single
> coloumn of commands. The space for the short description
> is too small and is sometimes cut by the following command.

I agree.

-- 
 Gordon Matzigkeit <[EMAIL PROTECTED]>  //\ I'm a FIG (http://fig.org/)
Committed to freedom and diversity \// I use GNU (http://fig.org/gnu/)

_______________________________________________
Bug-grub mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-grub

Reply via email to