Bug#683449: gnome-terminal doesn't work properly with htop
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.
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...
Size: 900 bytes
Desc: OpenPGP digital signature
More information about the pkg-gnome-maintainers