Hide top/bottom panels on "auto-hide"

Submitted by see..@..oo.com

Assigned to Nick Schermer

Link to original bug (#9268)

Description

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?

Version: 4.8.3