Hi Tobias and thanks for this bug report. Shortcut clashes are
unavoidable, but I believe terminal emulators should do their best to
avoid taking over the F<n> keys. I was going to suggest you to disable
the shortcut from the gnome-terminal settings, but apparently the
shortcut is not listed there and it is not disabled even by unchecking
the main "Enable shortcuts" checkbox.
I followed-up to LP: #1380194 (a similar bug report) and I'm going to
reassign this report to gnome-terminal. I don't think there's anything
that should be fixed on the htop side.
** Also affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Changed in: htop (Ubuntu)
Status: New => Invalid
--
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/1893118
Title:
Unable to exit htop in ubuntu desktop terminal
Status in gnome-terminal package in Ubuntu:
New
Status in htop package in Ubuntu:
Invalid
Bug description:
Description:
The package htop, in my case installed with apt, can't be exited using F10 as
instructed in the program. F10 will highlight the new tab button of the
Terminal, which is shipped with Ubuntu 20.04 LTS Desktop. To exit htop the user
can still use 'q' to exit htop, but to some users this may not be known
Htop version: 2.2.0-2build1
Ubuntu version: Ubuntu 20.04 LTS Desktop
Terminal version: 3.36.1.1-1ubuntu1
Expected behaviour:
The Htop program will exit when F10 is pressed.
Actual behaviour:
Pressing F10 will higlight the new tab button of the Terminal.
ProblemType: Bug
DistroRelease: Ubuntu 20.04
Package: htop 2.2.0-2build1
ProcVersionSignature: Ubuntu 5.4.0-42.46-generic 5.4.44
Uname: Linux 5.4.0-42-generic x86_64
ApportVersion: 2.20.11-0ubuntu27.6
Architecture: amd64
CasperMD5CheckResult: skip
CurrentDesktop: ubuntu:GNOME
Date: Wed Aug 26 20:15:06 2020
InstallationDate: Installed on 2020-07-23 (34 days ago)
InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Release amd64 (20200423)
SourcePackage: htop
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1893118/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
