Public bug reported:
Hello!
I have disabled F10 key in gnome-terminal in Edit > Keyboard shortcuts...
(unset the mark in "Enable the menu shortcut key (F10 by default") but it
continue to work.
So F10 key always open drop-down menu (which normally opens with right mouse
click) and it sends "~" to the terminal window.
I can't use Midnight Commander.
Please fix.
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: gnome-terminal 3.4.1.1-0ubuntu1
ProcVersionSignature: Ubuntu 3.2.0-24.37-generic 3.2.14
Uname: Linux 3.2.0-24-generic x86_64
ApportVersion: 2.0.1-0ubuntu7
Architecture: amd64
Date: Tue May 8 15:21:09 2012
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug precise
--
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/996485
Title:
gnome-terminal incorrectly reacts to F10 key
Status in “gnome-terminal” package in Ubuntu:
New
Bug description:
Hello!
I have disabled F10 key in gnome-terminal in Edit > Keyboard shortcuts...
(unset the mark in "Enable the menu shortcut key (F10 by default") but it
continue to work.
So F10 key always open drop-down menu (which normally opens with right mouse
click) and it sends "~" to the terminal window.
I can't use Midnight Commander.
Please fix.
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: gnome-terminal 3.4.1.1-0ubuntu1
ProcVersionSignature: Ubuntu 3.2.0-24.37-generic 3.2.14
Uname: Linux 3.2.0-24-generic x86_64
ApportVersion: 2.0.1-0ubuntu7
Architecture: amd64
Date: Tue May 8 15:21:09 2012
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/996485/+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