cannot switch off F10 key combo
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned |
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
ProcVersionSign
Uname: Linux 3.2.0-12-
NonfreeKernelMo
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)
possible that it has something to do with the follow bug?
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 661973