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

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 683449 libgtk-3-0
Bug #683449 [gnome-terminal] gnome-terminal doesn't work properly with htop
Bug reassigned from package 'gnome-terminal' to 'libgtk-3-0'.
No longer marked as found in versions gnome-terminal/3.4.1.1-1.
Ignoring request to alter fixed versions of bug #683449 to the same values previously set
> reassign 658392 libgtk-3-0
Bug #658392 [gnome-terminal] [gnome-terminal] F10 opens context menu (shouldn't do anything)
Bug reassigned from package 'gnome-terminal' to 'libgtk-3-0'.
No longer marked as found in versions gnome-terminal/3.2.1-2.
Ignoring request to alter fixed versions of bug #658392 to the same values previously set
> forcemerge 656685 683449 658392
Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key
Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work
Bug #658392 [libgtk-3-0] [gnome-terminal] F10 opens context menu (shouldn't do anything)
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=661973'.
Severity set to 'important' from 'normal'
Added indication that 658392 affects roxterm-gtk3,gnome-terminal
Marked as found in versions gtk+3.0/3.2.3-1.
Added tag(s) upstream.
Bug #683449 [libgtk-3-0] gnome-terminal doesn't work properly with htop
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=661973'.
Severity set to 'important' from 'normal'
Added indication that 683449 affects roxterm-gtk3,gnome-terminal
Marked as found in versions gtk+3.0/3.2.3-1.
Added tag(s) upstream.
Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work
Merged 656685 658392 659580 683449
> affects 656685 gnome-terminal
Bug #656685 [libgtk-3-0] GNOME/GTK eats up the F10 key
Bug #658392 [libgtk-3-0] [gnome-terminal] F10 opens context menu (shouldn't do anything)
Bug #659580 [libgtk-3-0] roxterm: Disable menu access key (F10 by default) does not work
Bug #683449 [libgtk-3-0] gnome-terminal doesn't work properly with htop
Ignoring request to set affects of bug 656685 to the same value previously set
Ignoring request to set affects of bug 658392 to the same value previously set
Ignoring request to set affects of bug 659580 to the same value previously set
Ignoring request to set affects of bug 683449 to the same value previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
656685: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=656685
658392: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=658392
659580: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=659580
683449: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=683449
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems