Ubuntu
unity package

  1. Bug #1274087
  2. Comment #18

Comment 18 for bug 1274087

Revision history for this message
In , Sven Joachim (svenjoac) wrote :

To reproduce the problem, you need to configure gnome-terminal to pass F10 to the application. Under "Edit → Keyboard Shortcuts", uncheck "Enable the menu shortcut key (F10 by default)".