Processed: gtk+ reacts on F10 press incorrectly

Mon Sep 3 21:39:12 UTC 2012

Processing commands for control at bugs.debian.org:

> tags 659580 + patch
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)
Bug #683449 [libgtk-3-0] gnome-terminal doesn't work properly with htop
Added tag(s) patch.
Added tag(s) patch.
Added tag(s) patch.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
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