Re: no way to change theme or fonts in System Settings?

[John Stowers <john stowers lists gmail com>]

> 
> 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