On Fri, Jun 3, 2011 at 2:24 PM, tim.lauridsen@xxxxxxxxx <tim.lauridsen@xxxxxxxxx> wrote: > The latest version of gnome-tweak-tool can enable/disable installed extentions > http://timlau.fedorapeople.org/files/pics/tweek-tool.png That is excellent. I would assume that disabled extensions are just added to the blacklist using: $ gsettngs reset org.gnome.shell disabled-extensions $ gsettings set org.gnome.shell disabled-extensions "['helloworld@xxxxxxxxx']" Ref: Shamelessly pulled from: http://blog.fpmurphy.com/2011/04/gnome-3-shell-extensions.html#ixzz1OLNZQmNZ Is there/can there be a way for extension creators to add a stanza of javascript that would cause some configuration options to show up in each extension's section or a format they could use in dconf that gnome-tweak-tool could read in and control? /Mike -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
