Ubuntu
gtk+3.0 package

  1. Bug #937822
  2. Comment #5

Comment 5 for bug 937822

Revision history for this message
Joost Van Durme (joostvandurme) wrote :

There is a workaround for the context menus in gnome-terminal NOT to open upon pressing F10, it is in post#8 of this thread: https://bbs.archlinux.org/viewtopic.php?id=129872

Create a new file: ~/.config/gtk-3.0/gtk.css, then add this:

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

* {
 gtk-key-bindings: NoKeyboardNavigation
}

Close all terminal windows and restart terminal.