*** This bug is a duplicate of bug 387518 *** https://bugs.launchpad.net/bugs/387518
** This bug has been marked a duplicate of bug 387518 The auto-hide default settings of the gnome-panel are cumbersome, making the panel look sluggish and uncomfortable -- Autohide does not entirely hide GNOME panel https://bugs.launchpad.net/bugs/387503 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-panel in ubuntu (via bug 387518). -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs