How do I deactivate F1 and F10 keybindings in gnome-terminal?

11.04

Disabling the F1 shortcut

  1. In a gnome-terminal open up Edit ➜ Keyboard Shortcuts.

  2. Scroll down to the Help/Contents shortcut, click where it says "F1" and hit Backspace:

    enter image description here

Disabling the F10 shortcut

  1. Install the compizconfig-settings-managerInstall compizconfig-settings-manager package.

    • Warning: What are some of the issues with CCSM and why would I want to avoid it?

  2. Open up CompizConfig Settings Manager.

    • Hit Super to open the Dash, type "Compiz" and hit Enter.

  3. Type "unity" in the Filter entry and select the Ubuntu Unity Plugin.

  4. Click the button to the right of Key to open the first panel menu and uncheck the Enabled checkbox.

    enter image description here

  5. That disabled the global F10 shortcut, now disable gnome-terminal's F10 shortcut:

    • In a gnome-terminal open up Keyboards Shortcuts (Edit ➜ Keyboard Shortcuts) and
      uncheck Enable the menu shortcut key (F10 by default)

      enter image description here

  6. F10 is mapped to menubar_accel by something in Ubuntu. Gnome? Metacity? Not sure what exact thing it is that steals it, but the key doesn't make it to Eclipse.

    • Run gconf-editor, browse to /desktop/gnome/interface then scroll down to menubar_accel and delete the F10 value. [Stolen from here]

Disable F10 in gnome-terminal in 12.04

Type this in the console:

mkdir -p ~/.config/gtk-3.0
cat<<EOF > ~/.config/gtk-3.0/gtk.css

@binding-set NoKeyboardNavigation {
     unbind "<shift>F10"
}

* {
     gtk-key-bindings: NoKeyboardNavigation
}

EOF

Then close all terminal sessions. Now it should work as it should (in mc for example).

  • https://bugs.launchpad.net/ubuntu/+source/unity/+bug/726639/comments/18
  • https://bbs.archlinux.org/viewtopic.php?pid=1017546#p1017546

start gconf-editor and follow /apps/gnome-terminal/keybindings/help

enter image description here

Description:

"Keyboard shortcut key for launching help. Expressed as a string in the same format used for GTK+ resource files. If you set the option to the special string "disabled", then there will be no keyboard shortcut for this action."

Tags:

Gnome Terminal

Shortcut Keys

Recent Posts