We already implemented a system for configuring extension preferences. See my writeup of the system at http://blog.mecheye.net/2012/02/more-extension-api-breaks/
On Sat, Feb 18, 2012 at 5:59 PM, Lukas Vacek <[email protected]> wrote: > Hi, you might be interested in knowing that emailing this mailing list > without subscription does NOT work :-( - before I subscribed my email was > silently ignored which is extremely confusing. Please see my original > message. > > Thanks, > Lukas > > ---------- Forwarded message ---------- > From: Lukas Vacek <[email protected]> > Date: Fri, Jan 20, 2012 at 1:56 PM > Subject: gnome-tweak-support for extension configuration > To: [email protected] > > > Hi list, > > I am working, under John Stowers' supervision, on support for automagically > generating GUI configuration for shell extensions in gnome-tweak-tool. > > Basically, when the extension uses the new API with user gschemas and > follows a simple set of rules (no ultra-complicated types stored in the > schema), we will generate GUI configuration for the extension for free :-) > > Is this something you would be interested in? Are there any gnome extensions > using the new API that allows to store gschemas in user home directory? > > Thanks, > Lukas > > > _______________________________________________ > gnome-shell-list mailing list > [email protected] > http://mail.gnome.org/mailman/listinfo/gnome-shell-list > -- Jasper _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
