Saturday, May 8, 2010

Auto-Hide Gnome Menu Bar

Type into terminal:

gconf-editor

to open the gconf-editor.
Then navigate to '/apps/panel/toplevels/top_panel_screen0' and change 'auto_hide_size' to 0.
I also set show/hide times to a smaller interval.