*** This bug is a duplicate of bug 937822 *** https://bugs.launchpad.net/bugs/937822
** This bug has been marked a duplicate of bug 937822 [precise] F10 always opens the menu, cannot be overriden (after xkeyboard-config update) -- 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 : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp