@jasonq: I find the problem irritating as well. FWIW I've found the upstream bug for this problem:
http://bugzilla.gnome.org/show_bug.cgi?id=127973 It does not appear that it will be fixed anytime soon. A workaround that I use is to "Show hide buttons" and uncheck "Arrows on hide buttons" so that when hidden there is minimal real estate used, and then hide the panel by clicking on the small left or right "hide" square" to hide it, and click on the square (rectangle?) to unhide it. -- gnome-panel doesn't hide all the way https://bugs.launchpad.net/bugs/218982 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
