Bug#684656: gnome-terminal: F10 becomes mouse right click

[Osamu Aoki]

Package: gnome-terminal
Version: 3.4.1.1-1+build1
Severity: important

Currently, upon pressing F10, gnome-terminal opens right click dialog.  This
happens even when you go to Keyboard Shortcuts and disable the menu shortcut
key.  This is very annoying for program like MC running in terminal console.

As I found out there is a local work around, it is usable now.  But this
bug needs to be fixed for terminal to be shipped for release.

Work around: http://gentoo-pr.org/node/39
=====
$ mkdir ~/.config/gtk-3.0/
$ cat ~/.config/gtk-3.0/gtk.css 
@binding-set NoKeyboardNavigation {
        unbind "<shift>F10"
}
 
* {
        gtk-key-bindings: NoKeyboardNavigation
}
=====

I confirmed this gentoo info works for Debian.

Osamu

-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (10, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.5-trunk-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnome-terminal depends on:
ii  gconf-service              3.2.5-1+build1
ii  gnome-terminal-data        3.4.1.1-1+build1
ii  gsettings-desktop-schemas  3.4.2-1
ii  libatk1.0-0                2.4.0-2
ii  libc6                      2.13-35
ii  libgconf-2-4               3.2.5-1+build1
ii  libgdk-pixbuf2.0-0         2.26.1-1
ii  libglib2.0-0               2.32.3-1
ii  libgtk-3-0                 3.4.2-3
ii  libice6                    2:1.0.8-2
ii  libpango1.0-0              1.30.0-1
ii  libsm6                     2:1.2.1-2
ii  libvte-2.90-9              1:0.32.2-1
ii  libx11-6                   2:1.5.0-1

Versions of packages gnome-terminal recommends:
ii  gvfs  1.12.3-1+b1
ii  yelp  3.4.2-1

gnome-terminal suggests no packages.

-- no debconf information