> > There'll be a tool for that, although that is an add-on tool (ie, not > part of the control center). Since I've been lagging on this, John > Stowers stepped up and moved much faster than I did (he also chose > python while I was playing with js ;-)): > https://github.com/nzjrs/gnome-tweak-tool > > (kudos to John!) > > This needs some love, and we'll import that in git.gnome.org, I assume. > But yeah, that's how we will deal with this :-)
I wanted to finish of a few more things, but this has been imported onto the GNOME git now, and lives here; http://git.gnome.org/browse/gnome-tweak-tool/ http://imgur.com/a/NmL44#By22E (screenshots) It supports most of the contentious issues I saw people talking about, and some extra niceties like gtk theme switching (only shows themes that have gtk+-2 and gtk+-3 support), and shell theme switching + installation (needs the usertheme extension from [1]) Adding 'tweaks' for new things is pretty easy, see tweaks/tweak_*.py for examples. Feedback appreciated. Oh, and the new pygobject (+ gobject-introspection) is seven types of awesome. John [1] http://git.gnome.org/browse/gnome-shell-extensions _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list