Hide top/bottom panels on "auto-hide"
Submitted by see..@..oo.com
Assigned to Nick Schermer
Situation: The current situation is that if you set the top and bottom panels to auto-hide, they only hide partially. I guess this is by design, but in my opinion it looks like a bug.
Suggestion: Completely hide the 2 pixels high panels when they are set to auto-hide. It looks ugly with those 2 pixels high grey areas and steal some pixels from other windows.
My System: I run Intel x86_64 and Ubuntu 12.04, but I guess this bug applies to all systems?