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]
** Changed in: gnome-terminal (Ubuntu)
Assignee: anagha (anghakc) => (unassigned)
** Changed in: gnome-terminal (Ubuntu)
Status: New => Incomplete
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1214766
Title:
Pressing F1 in gnome-terminal forces you to log out of a gnome classic
session
Status in gnome-terminal package in Ubuntu:
Incomplete
Bug description:
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)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1214766/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
