Re: no way to change theme or fonts in System Settings?
- From: John Stowers <john stowers lists gmail com>
- To: Vincent Untz <vuntz gnome org>
- Cc: desktop-devel-list gnome org
- Subject: Re: no way to change theme or fonts in System Settings?
- Date: Thu, 17 Mar 2011 23:45:51 +1300
>
> 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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]