"<ENTER>" is ok, but should then used also in non-dumbed setup, only to have the same handling and less problems with the documentation.
With friendly regards Christoph P. Gordon Matzigkeit wrote: > > 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/) -- +--------V--------+ [EMAIL PROTECTED] | A L C A T E L | ----------------------------- +-----------------+ Phone: +43 1 27722 3706 T A S Fax: +43 1 27722 3955 _______________________________________________ Bug-grub mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-grub
