As promised today I will show you how to disable the gnome-terminal F10 key so you can better use it within applications like htop. I don’t recall why I didn’t post this when I found it a few weeks ago.. probably just busy with work. I’ll try to do better next time 🙂
To disable the F10 “feature” in gnome-terminal you have two options. I’ll outline both.
The first option is to open the gnome-terminal and select “Edit” from the File menu, and then select “Keyboard Shortcuts”.
Within the next window check the boxes for:
Disable all menu access keys (such as Alt-f to open File menu)
Disable menu shortcut key (F10 by default)
At this point the changes should be available and the F10 key should be unused by gnome-terminal.
For the second option, you’ll need to launch the gconf-editor. You can do this like so:
press ALT-F2. This will open the "Run Application" dialog box for gnome.
In the field provided type "gconf-editor" and hit ENTER.
Well then need to navigate our way to the following two addresses to change what the default value may be.
What these paths mean, if it isn’t clear, is to navigate on the left-side column to “apps” > “gnome-terminal” > “global” and find the check boxes for “use_menu_accelerators” and “use_mnemonics”.
In my testing you may need to uncheck both of them for the change to work. The change should be immediate. The F10 key should now be available for use in htop and other similar applications that try to bind the F10 key but are unable because the focus is stolen by gnome-terminal.
Note: on some machines neither of these disable the key, and there is a public bug posted for them. It’s late and I don’t have the bug number, but I’ll get it for you. If you experience the same issue please add your information to the bug report.