This problem also affects me (and it is still present even though I have "Launch help browser" disabled in "System/Keyboard Shortcuts". I'm using Ubuntu Jaunty.
My "use case" is that I'd like to be able to customise all of the function-key actions in Gnome-terminal to whatever I want them to be. I'm doing several projects which involve using the Python curses library. It is possible to customise *most* of the function keys, but F1 and F10 seem to be "reserved" by Gnome-terminal and there seems to be no way of setting the actions for those. I have done the following - a) Went into Gnome-terminal and selected "Edit/Keyboard shortcuts" there. I de-selected both "Enable menu access keys" and "Enable the menu shortcut key". I closed that dialog-box and exited Gnome-terminal. b) From the main Ubuntu menu, I went into "System/Preferences/Keyboard shortcuts". In there, I can see that under "Desktop", the "Launch help browser" entry is disabled. Sounds promising. However, when I go into Gnome-terminal and press F1, the help-browser still appears. So, I too would like the ability to customise the actions of *all* of Gnome-terminal's function keys - not just "most of them." Many thanks for your time.... :) - latte -- Cannot disable keyboard shortcuts https://bugs.launchpad.net/bugs/429674 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
