|
|
Log in / Subscribe / Register

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.


to post comments


Copyright © 2026, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds