Bug#658392: [gnome-terminal] F10 opens context menu (shouldn't do anything)

[Bastian Venthur]

Package: gnome-terminal
Version: 3.2.1-2
Severity: normal

Hi,

since this morning, the gnome-terminal opens the context-menu of the
terminal when pressing F10. I have configured the terminal to *not* show
the menu when pressing F10 (the second option in the terminal's
shortcuts configuration menu). When turning this option on, it will show
the main menu of the terminal instead the context menu.

In the context-menu case F10 is still forwarded to the application
running in the terminal (e.g. midnight commander).

The correct behavior should be that F10 does nothing when not configured
to open the main menu, but forward F10 to the app running in the terminal.


Cheers,

Bastian


--- System information. ---
Architecture: i386
Kernel:       Linux 3.2.0-1-686-pae

Debian Release: wheezy/sid
  500 unstable        ftp.de.debian.org
  500 unstable        debian-multimedia.org
  500 stable          dl.google.com
  101 experimental    ftp.de.debian.org

--- Package information. ---
Depends                           (Version) | Installed
===========================================-+-==============
libatk1.0-0                     (>= 1.12.4) | 2.2.0-2
libc6                              (>= 2.4) | 2.13-25
libgconf2-4                     (>= 2.31.1) | 3.2.3-1
libgdk-pixbuf2.0-0              (>= 2.22.0) | 2.24.0-2
libglib2.0-0                    (>= 2.26.0) | 2.30.2-6
libgtk-3-0                       (>= 3.2.1) | 3.2.3-1
libice6                        (>= 1:1.0.0) | 2:1.0.7-2
libpango1.0-0                   (>= 1.14.0) | 1.29.4-2
libsm6                                      | 2:1.2.0-2
libvte-2.90-9                 (>= 1:0.30.0) | 1:0.30.1-3
libx11-6                                    | 2:1.4.4-4
gsettings-desktop-schemas        (>= 0.1.0) | 3.2.0-2
gnome-terminal-data                (>= 3.2) | 3.2.1-2
gnome-terminal-data                (<< 3.3) | 3.2.1-2


Recommends      (Version) | Installed
=========================-+-===========
yelp                      | 3.2.1+dfsg-1+b1
gvfs                      | 1.10.1-2


Package's Suggests field is empty.
-- 
Bastian Venthur                                      http://venthur.de
Debian Developer                                 venthur at debian org