Pedro: Yes, this is reproducible every single time. 1) Tell gnome-panel to autohide. 2a) Click on a launcher, or 2b) Open menu on an applet (e.g. preferences, power history...) Observe panel does not autohide. 3) Mouseover panel, move pointer away from panel. Observe panel autohides. The problem does not occur using the menubar to launch applications, or using the show desktop button.
-- 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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
