The Grumpy Editor's GNOME 3 experience
The Grumpy Editor's GNOME 3 experience
Posted Mar 16, 2011 14:31 UTC (Wed) by RainCT (guest, #57473)In reply to: The Grumpy Editor's GNOME 3 experience by psankar
Parent article: The Grumpy Editor's GNOME 3 experience
I remember a patch for panel auto-hide got merged quite some time ago. Unless it was removed, the option should be available in gconf/dconf.