Bug#746706: gnome-terminal: Starts when pressings F1 evnn when it is disabled

Jan Christoph Uhde linux at obiwahn.org
Fri May 2 17:56:10 UTC 2014


Package: gnome-terminal
Version: 3.12.0-2
Severity: important

Dear Maintainer,

using vim and other console tools like this is really
a pain. Please give me some advice on how to fix this!
Setting the shortcut in gnome-terminal's menu allows me
to have a second key for help. There must be some way
to make gnome not capture the F1 key!

Cheers!
Jan


-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (600, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

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

Versions of packages gnome-terminal depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.20.0-2
ii  gconf-service                                3.2.6-2
ii  gnome-terminal-data                          3.12.0-2
ii  gsettings-desktop-schemas                    3.8.2-2
ii  libatk1.0-0                                  2.12.0-1
ii  libc6                                        2.18-5
ii  libcairo-gobject2                            1.12.16-2
ii  libcairo2                                    1.12.16-2
ii  libdconf1                                    0.20.0-2
ii  libgconf-2-4                                 3.2.6-2
ii  libgdk-pixbuf2.0-0                           2.30.7-1
ii  libglib2.0-0                                 2.40.0-3
ii  libgtk-3-0                                   3.12.1-1
ii  libnautilus-extension1a                      3.8.2-2
ii  libpango-1.0-0                               1.36.3-1
ii  libpangocairo-1.0-0                          1.36.3-1
ii  libuuid1                                     2.20.1-5.7
ii  libvte-2.90-9                                1:0.36.0-2
ii  libx11-6                                     2:1.6.2-1

Versions of packages gnome-terminal recommends:
ii  dbus-x11  1.8.2-1
ii  gvfs      1.20.1-1+b1
ii  yelp      3.12.0-1

gnome-terminal suggests no packages.

-- no debconf information



More information about the pkg-gnome-maintainers mailing list