On Fri, Jun 3, 2011 at 2:24 PM, tim.laurid...@gmail.com <tim.laurid...@gmail.com> 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 "['hellowo...@gnome.org']" 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@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
