I can not confirm this for launchers, but for preferences menus:
1) Tell gnome-panel to auto-hide
2) Right click on the clock applet
3) Choose Preferences
4) Move the mouse away from the panel
-> The panel does not auto-hide, you have to hover and un-hover it again.
Btw: I have compiz deaktivated so this seems not to be a compiz bug
Thank you.
** Changed in: gnome-panel (Ubuntu)
Assignee: Ubuntu Desktop Bugs (desktop-bugs) => (unassigned)
Status: Incomplete => Confirmed
--
gnome-panel needs pointer or click to hide
https://bugs.launchpad.net/bugs/289669
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-panel in ubuntu.
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs