It would be nice to have the option to remove that little 3 or 4 pixel bar that appears when a panel is auto-hidden; I mean the user generally knows where their panels are (it could be an extra check-box) and when I have firefox maximized it can sometimes interfere with websites that have navigation panels on the left. This is my first bug report here and I would just like to say thank you for such an awesome window manager.