I support eros on his observation about hardy. I use a small panel at the top right-hand corner of my desktop and a few drawers to hold my apps. This used to be a very nice way to ensure the panel autohides on feisty and gutsy. (I still had a few instances in ANOTHER panel that would not autohide due to Tomboy) Now, on hardy, the panel hides inconsistently, and I find myself having to "killall gnome-panel" quite a few times to force it to hide... There are no entry boxes in the panel, just drawers to program icons, so I don't see why it won't hide anymore. The OTHER panel that was behaving badly has been removed, so it is not to blame for the inconsistency.
-- gnome-panel autohides inconsistently https://bugs.launchpad.net/bugs/82504 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
