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

[Bastien Nocera <hadess hadess net>]

On Thu, 2011-03-17 at 23:45 +1300, John Stowers wrote:
> > 
> > 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.

Let me know when you have a bugzilla component. There's a number of
control-center bugs that should be coming your way.

Cheers