[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
*** 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 : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
*** This bug is a duplicate of bug 937822 *** https://bugs.launchpad.net/bugs/937822 Similar to #937822 by the way. -- 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
[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
*** 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
[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-terminal (Ubuntu) Status: New = Confirmed -- 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
[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
why is this bug marked as invalid? There is an menu-option which you can be used - but the result is not the expected so it is a valid bug! ** Changed in: gnome-terminal (Ubuntu) Status: Invalid = New -- 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: New 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
[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
possible that it has something to do with the follow bug? https://bugzilla.gnome.org/show_bug.cgi?id=661973 ** Bug watch added: GNOME Bug Tracker #661973 https://bugzilla.gnome.org/show_bug.cgi?id=661973 -- 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: New 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
[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
ok.. no is the answer: because when I press F10 the ~ is not entered in the terminal window. ** Tags added: rls-mgr-p-tracking -- 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: New 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
[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
Use dconf-editor to modify this system-wide shortcut in these keys: /desktop/gnome/interface/menubar_accel /apps/compizconfig-1/profiles/Default/plugins/unityshell/screen0/options/panel_first_menu /apps/compiz-1/plugins/unityshell/screen0/options/panel_first_menu --- Ubuntu Bug Squad volunteer triager http://wiki.ubuntu.com/BugSquad ** Changed in: gnome-terminal (Ubuntu) Status: New = Invalid -- 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: Invalid 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
[Desktop-packages] [Bug 926611] Re: cannot switch off F10 key combo
-- 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: New 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