[Bug 82504] Re: gnome-panel autohides inconsistently

[Bogdan Butnaru]

After a bit of playing with the panels I found at least one reproducible
case where the panel remains opened:

1) First set at least one panel to autohide. (I don't think it matters,
but mine has "hidden size" and "hide delay" set to zero.)

2) Start Firefox, and resize it's window to smaller than the screen.

3) With Firefox having the focus, make the panel unhide by sliding the
mouse over it. (Don't click it!) Keep the cursor there so the panel
stays unhidden.

4) Press F11 on your keyboard. This will make Firefox go in full-screen
mode, which means it goes above the panel. (Note that the panel is
always on top of normal windows.)

5) Move the mouse out of the (hidden) panel's surface (to the middle of
the screen, for instance). Keep it there.

6) Either (a) press F11 again to make Firefox a window or (b) press Alt-
Tab to switch to another (not-fullscreen) window. (This will make
Firefox loose its "on top" status.)

Result: Now the panel is visible, but the mouse is not on it.

Expected result: The panel should have hidden itself at step (4) or at
step (5) -- because the cursor is no longer on it.

-- 
gnome-panel autohides inconsistently
https://launchpad.net/bugs/82504