Re: gnome-tweak-tool support for extension configuration

["Jasper St. Pierre" <jstpierre mecheye net>]

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 <lucas vacek gmail com> 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 <lucas vacek gmail com>
> Date: Fri, Jan 20, 2012 at 1:56 PM
> Subject: gnome-tweak-support for extension configuration
> To: gnome-shell-list gnome org
>
>
> 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
> gnome-shell-list gnome org
> http://mail.gnome.org/mailman/listinfo/gnome-shell-list
>



-- 
  Jasper