Pressing F1 in gnome-terminal forces you to log out of a gnome classic session

[Salvador Girbau]

Hi,

Steps to reproduce:
1) Log in, to a "gnome classic" session.
2) Start a gnome-terminal window (for example, right-click on desktop and choose "Open terminal...").
3) Press F1.

At this point, an empty help window appears, but it can't be closed or killed - it respawns continually on a new process id. Also, it grabs the keyboard focus, so other open applications become unusable. The only way to continue working is to log out of the session.

Expected behavior:
At least, not hanging the session. My typical use case is that I'm trying to hit some other key (for example, the <esc> key while using "vi" in the terminal window), and hit F1 by accident, rendering the session unusable.

Thanks!

ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: gnome-terminal 3.4.1.1-0ubuntu1
ProcVersionSignature: Ubuntu 3.2.0-31.50-generic 3.2.28
Uname: Linux 3.2.0-31-generic x86_64
NonfreeKernelModules: fglrx
ApportVersion: 2.0.1-0ubuntu17.4
Architecture: amd64
Date: Wed Aug 21 08:31:04 2013
MarkForUpload: True
ProcEnviron:
 LANGUAGE=en_US:en
 TERM=xterm
 PATH=(custom, no user)
 LANG=en_US.UTF-8
 SHELL=/bin/bash
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to precise on 2012-07-09 (407 days ago)

[Paul White (paulw2u)]

We are sorry that we do not always have the capacity to review all reported bugs in a timely manner.

Ubuntu 12.04 (precise) reached end-of-life on April 28, 2017.

Do you still see a problem related to the one that you reported in a currently supported version of Ubuntu? Please let us know if you do and in which version otherwise this report can be left to expire in approximately 60 days time.

Thank you for helping make Ubuntu better.

Paul White
[Ubuntu Bug Squad]

[Launchpad Janitor (janitor)]

[Expired for gnome-terminal (Ubuntu) because there has been no activity for 60 days.]