[Bug 54208] autohide doesn't unhide if you are too quick

[DarkMageZ]

Public bug reported:

Binary package hint: gnome-panel

steps to reprodude:
(1) make a panel with autohide
(2) let it hide
(3) move the mouse very very quickly to the edge of the screen where the panel is. the panel won't pop back up (you need to be quick or this won't reproduce)
(4) try again, but move the mouse slowly... it works...

this bug is just really annoying... i run into it atleast 20 times a day

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

-- 
autohide doesn't unhide if you are too quick
https://launchpad.net/bugs/54208