Re: esc key

[Pavel Roskin <proski gnu org>]

Quoting christian laubscher <christian laubscher tiscalinet ch>:

> > Any counterarguments?
>
> i for one got to like the esc-[0-9] on dumb(x) terminals.
> a few times i think i couldn't have done without it in the past.

I think you still can use Alt-number.  The bad thing is that users cannot invoke
the menu without F9, so if Esc-number is really needed, it should be a command
line option (or there should be an alternative key for the menu).

> why change it?

Because the default should be user-friendly, whereas taming dumb terminals
should be left to the users familiar with the "man" command.

-- 
Regards,
Pavel Roskin