Your message dated Wed, 10 Dec 2014 21:04:19 +0000
with message-id 
<CAD=6czoh9c84m1e7qkwokavrsvfppenorjlw-rmot2zdiqr...@mail.gmail.com>
and subject line Closing #746706 - gnome-terminal: Starts 'help' when pressings 
F1 even when
has caused the Debian Bug report #746706,
regarding gnome-terminal: Starts 'help' when pressings F1 even when
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)


-- 
746706: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=746706
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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

--- End Message ---
--- Begin Message ---
version: 3.14.2-1

Hey,

I am closing this bug now since it is not reproducible here also.

Maybe gnome-terminal shouldn't allow duplicated shortcuts.

Thanks,
regards
althaser

--- End Message ---

Reply via email to