On 01.08.2012 20:02, Martin Dosch wrote:
> Hi,
>
> thank you.
> This fixes it partly. Now i can close htop via F10 but it opens the
> right-click-menu too. (see attached video)
Yeah, this issue is already known. the F10 keypress is interpreted as
SHIFT+F10, see the linked upstream bug.
--
Why
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.
reassign 683449 libgtk-3-0
reassign 658392 libgtk-3-0
forcemerge 656685 683449 658392
affects 656685 gnome-terminal
thanks
On 31.07.2012 23:11, Martin Dosch wrote:
> Package: gnome-terminal
> Version: 3.4.1.1-1
> Severity: normal
>
> Dear Maintainer,
>
> if you're using htop in gnome-terminal an
Package: gnome-terminal
Version: 3.4.1.1-1
Severity: normal
Dear Maintainer,
if you're using htop in gnome-terminal and want to close it (F10) you'll get a
terminal-menu instead of closing htop.
Best regards,
Martin
-- System Information:
Debian Release: wheezy/sid
APT prefers testing
AP
4 matches
Mail list logo
