desktop-packages team mailing list archive

[Norbert <996485@xxxxxxxxxxxxxxxxxx>]

I have installed yesterday 12.04.5 LTS (!) and bug is still here.

Please fix it on next install media, it is very annoying.

-- 
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 still pops up context menu on F10 key despite disabled
  in preferences

Status in gnome-terminal package in Ubuntu:
  Confirmed

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