*** This bug is a duplicate of bug 937822 ***
https://bugs.launchpad.net/bugs/937822
It's affecting me as well.
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/926611
Title:
cannot switch off F10 key combo
Status in “gnome-terminal” package in Ubuntu:
Confirmed
Bug description:
it is not possible to switch off the F10 key combo in gnome-terminal.
I unchecked the box for the F10 Key in the settings, but every time I
hit F10 the menu opens.
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: gnome-terminal 3.2.1-2ubuntu1
ProcVersionSignature: Ubuntu 3.2.0-12.21-generic-pae 3.2.2
Uname: Linux 3.2.0-12-generic-pae i686
NonfreeKernelModules: nvidia
ApportVersion: 1.91-0ubuntu1
Architecture: i386
Date: Sat Feb 4 12:28:54 2012
EcryptfsInUse: Yes
InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Alpha i386
(20120201.1)
ProcEnviron:
PATH=(custom, user)
LANG=de_DE.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/926611/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
