Ich habe gerade nach einer Möglichkeit gesucht, wie man die Panels bei gnome, wenn sie auf Autohide gestellt werden, noch 6 Pixel auf dem Schirm einnehmen.
Abhilfe schafft man mit dem Tool gconf-editor im Zweig apps/panel/toplevels/[panel]/auto_hide_size.
