Lars E. Pettersson wrote:
On 09/20/2005 03:19 AM, Jim Cornette wrote:
To disable the key in the GNOME terminal (F10 shortcut)
go to the menu, select keyboard shortcuts, then check disable menu
shortcut key (F10 by default)
using mc a lot also is why I disable the menu shortcut myself.
Many thanks!
How long have that option been there? I think I have cheched that
before... may be wrong though.
Another happy mc user :-)
Lars
I cannot remember how long the setting has been there. I needed to
disable the shortcut for some time. Why there needs to be a shortcut for
a terminal menu always made me wonder. The shortcut should be off by
default, in my opinion.
Jim
--
QOTD:
If it's too loud, you're too old.
