I can confirm this behaviour in hardy. I don't know if it caused by gnome menu, but sometimes the panel refuses to hide, sometimes it helps to click/focus it and then move focus away. then the panel hides. but sometimes it won't help. this should be fixed as this is basic optional behaviour one would expect from all panels, docks, etc.
-- Auto-hide in gnome-panel https://bugs.launchpad.net/bugs/45974 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a direct subscriber. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
