GNOME Bugzilla – Bug 97182
autohide does not always work
Last modified: 2015-03-24 13:00:35 UTC
Autohide does not work when the mouse leaves the panel via the its context menu or via an applet menu. Somehow launchers and drawer menus do not have this problem. version: 2.1.1 Steps to reproduce: =================== (1) Create a panel with autohide (2) Open the panel menu (with right mouse button) or the menu of an applet. (3) move the mouse out the panel and of the menu (4) press the any mouse button to disable the menu. effect: the mouse is outside the panel but it does not hide. expected: the panel should hide. This problem could be related to http://bugzilla.gnome.org/show_bug.cgi?id=92937
Using 2.1.1: I can reproduce if the steps described above are done quickly. But anyway, when you move your mouse, the panel hides.
Not for me. Moving the mouse does nothing. In order to hide the panel I have enter it and leave it again. I see that both on my systems at home and in my office.
*** Bug 97990 has been marked as a duplicate of this bug. ***
On Leave notify for the panel, GDK_NOTIFY_INFERIOR is received due to which a autohide timer is not started. So replacing basep_widget_autohide() with basep_widget_queue_autohide() in menu_button_menu_popup() and panel_do_popup_menu() fixes the problem.
Created attachment 12186 [details] [review] Patch should fix the bug
adding some keywords.
mark ping ? :)
Patch looks fine Arvind. Thanks.
Fixed in HEAD. Thanks. 2003-12-03 Arvind Samptur <arvind.samptur@wipro.com> * menu.c (menu_button_menu_popup) * panel.c (panel_do_popup_menu): use basep_widget_queue_autohide instead of basep_widget_autohide. Fixes #97182