[Bug 82504] gnome-panel autohides inconsistently

[Bogdan Butnaru]

Public bug reported:

Binary package hint: gnome-panel

Hi! I'm using Ubuntu Feisty (the latest version from the official
repositories) and I have a bit of a problem with the gnome-panel.

I set the panels in a very similar arrangement as the default one -- a
panel on the top side of the screen and another on the bottom, with a
few applets changed and shuffled. I set both panels to autohide, as I
like having my full screen available for applications. I also tweaked a
bit the settings using the configuration editor: I set the hide/unhide
delay to zero, and the "size when hidden" also to zero.

This works almost always exactly the way I wanted it: the panel
disappear completely when not used, and appear instantly when needed.

However, for some reason I can't determine, sometimes I notice that one
of the panels (I've seen it happen to either at some point) remain
unhidden, despite the mouse cursor being outside them, and even clicking
inside the windows. If I enter the panel with the mouse (no click is
necessary) it will then disappear when the cursor leaves it.

Like I said, I haven't been able to notice exactly what causes the panel
to remain up -- but it always happens after I did something with it (it
never pops up by itself). It seems for some reason it misses (or doesn't
receive) a mouse-leave event or something similar.

Please let me know if I can help diagnosing this in any way.

** Affects: gnome-panel (Ubuntu)
     Importance: Undecided
         Status: Unconfirmed

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