You have to disable the F1 shortcut in gnome terminal keyboard shortcuts menu where you turned off the "Enable menu access keys". In the list of shortcuts look for "Action" Help / Contents. You disable the default shortcut F1 by selecting the entry and pressing <Enter> to change it and then pressing the <backspace> key instead of the shortcut you would usually use. The "Shortcut Key" entry should change to "Disabled". Now you should be good to go and use F1 in terminal.
I personally disabled all the shortcuts this way and I can use them directly in terminal. All but Ctrl-F1 work fine. Ctrl-F1 does nothing. It seems to be an old bug inherited from Xterm. While in Xterm it has been fixed a while ago, in gnome-terminal it persists. If you really want to test all shortcuts I suggest using xterm or better *lxterm* which is a locale-sensitive wrapper of xterm. -- 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
