Bug#683449: gnome-terminal doesn't work properly with htop

Michael Biebl biebl at debian.org
Wed Aug 1 00:42:40 UTC 2012

On 31.07.2012 23:11, Martin Dosch wrote:

> if you're using htop in gnome-terminal and want to close it (F10) you'll get a
> terminal-menu instead of closing htop.

Uncheck "Bearbeiten→Tastenkombinationen→Menütastenkombinationen
aktivieren" if you don't want gnome-terminal to grab the F10 key.

Why is it that all of the instruments seeking intelligent life in the
universe are pointed away from Earth?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 900 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20120801/4ca53bf7/attachment.pgp>

More information about the pkg-gnome-maintainers mailing list