[Bug 55260] Auto-hidden panel fails to hide after losing focus

[Зоран Рилак]

Public bug reported:

Binary package hint: gnome-panel

I don't know whether this is really the gnome-panel or trashapplet bug,
but I guess it's panel's responsibility to behave nicely against mouse
motion.

Auto-hidden panel fails to hide after the Trash Applet's pop-up menu is
displayed.  It does not matter whether an option has been selected or
the mouse was moved off and clicked somewhere else; it just stays there
even after the menu has gone.

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

-- 
Auto-hidden panel fails to hide after losing focus
https://launchpad.net/bugs/55260