GNOME Bugzilla – Bug 122589
Autohide panels stay visible on quick mouseover
Last modified: 2004-12-22 21:47:04 UTC
If I quickly mouse over a hidden panel (no matter how fast I do this) and then withdraw just as quickly, the panel appears, but won't go away. It would be nice if it would simply not appear at all (ie: if the mouse is no longer over the panel stub when it's time to unhide, don't unhide at all).
verifying that this also happens on freebsd. and boy is it annoying.
Fixed in HEAD and gnome-2-4 branches. Thanks 2003-10-31 Arvind Samptur <arvind.samptur@wipro.com> * panel-toplevel.c:(panel_toplevel_auto_unhide_timeout_handler): Don't unhide if we are not in the vicinity of the panel. Fix bug #122589
guess I broke some stuff here...reverted the patch and reopening the bug
Created attachment 21096 [details] [review] This should be better.
This fix allows you to see the property changes for an autohidden panel. ie, the panel stays un-hidden till such time that the properties dialog is not closed.
Arvind: probably safer to put the unblocking in the destroy handler for the dialogs instead - make sure to test with closing the dialog using the window managers close button (or Alt-F4). Other than that it looks good
Patch checked in to HEAD and gnome-2-4 branch with the changes. 2003-11-07 Arvind Samptur <arvind.samptur@wipro.com> * panel-properties-dialog.c: (panel_properties_dialog_new) : Block autohiding when the properites dialog is open. (panel_properties_dialog_destroy) : Unblock the autohiding when destroying the dialog. * panel.c: (panel_delete) : Block autohiding (panel_deletion_destroy_dialog): Unblock autohiding * panel-toplevel.c:(panel_toplevel_auto_unhide_timeout_handler): Don't unhide if we are not in the vicinity of the panel. Fix bug #122589
*** Bug 128911 has been marked as a duplicate of this bug. ***
*** Bug 128455 has been marked as a duplicate of this bug. ***
*** Bug 129275 has been marked as a duplicate of this bug. ***
*** Bug 130533 has been marked as a duplicate of this bug. ***
*** Bug 130093 has been marked as a duplicate of this bug. ***
*** Bug 133579 has been marked as a duplicate of this bug. ***