Public bug reported:
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)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug apport-lpi natty running-unity
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/750700
Title:
gnome-terminal captures F10 for menu even when explicitely disabled
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
