Is there any plan to make the settings panel extendable, especially by extensions? I understand the desire to keep some control over what is in the system settings, but if the result is a bunch of extensions that add settings tabs to the overview, the control over the settings panel becomes counter productive.
~Lucas David-Roesler
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
