Tuesday 29 January 2008

Gnome: Better autohide

Go to Applications:System Tools:Configuration Editor (or terminal: gconf-editor):

If the panel you want to autohide is at the bottom, choose bottom_panel_screen0
Then change the value of "auto_hide_size" to the number of pixels visible after autohide is in effect
/apps/panel/toplevels/bottom_panel_screen0/auto_hide_size (set to 0)

Hidind delays:
/apps/panel/toplevels/bottom_panel_screen0/hide_delay (set to 200)
/apps/panel/toplevels/bottom_panel_screen0/unhide_delay (set to 200)

source