Comment 0 for bug 750700

Revision history for this message
Paul Ortyl (ortylp) wrote : gnome-terminal captures F10 for menu even when explicitely disabled

Binary package hint: gnome-terminal

There is menu item in Edit/"Keyboard Shortcuts" which says "Enable the menu shortcut key (F10 by default)".
The F10 key is captured by gnome-terminal regardless of the checkbox described above.

It might be the case, that F10 does not come through to gnome-terminal and is captured by the window manager which in turn shows the menu. It is surely configurable somewhere via gconf-editor, but it does not change the fact, that the user gets really confused. The configuration option available via gnome-terminal menu DOES NOT WORK IN THE DEFAULT Ubuntu CONFIGURATION. It cannot be expected from the "average/target" user to hunt for the application capturing F10 and disabling it. There is a half dozen of entries containing F10 to be found via gconf-editor.

ProblemType: Bug
DistroRelease: Ubuntu 11.04
Package: gnome-terminal 2.32.1-0ubuntu3
ProcVersionSignature: Ubuntu 2.6.38-7.39-generic 2.6.38
Uname: Linux 2.6.38-7-generic x86_64
Architecture: amd64
Date: Mon Apr 4 21:37:11 2011
EcryptfsInUse: Yes
ExecutablePath: /usr/bin/gnome-terminal
InstallationMedia: Ubuntu 10.10 "Maverick Meerkat" - Release amd64 (20101007)
ProcEnviron:
 SHELL=/bin/bash
 PATH=(custom, user)
 LANG=en_GB.utf8
 LANGUAGE=en_GB:en
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to natty on 2011-04-03 (1 days ago)