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
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
