Re: [EXTENSION] Add extension which prefers user-theme to system theme

[John Stowers <john stowers lists gmail com>]

I updated the patch [1] and installer tool [2].

For people wanting to try new themes please see [3][4]

Themes are loaded from ~/.themes/$name/gnome-shell where $name is
retrieved from GSettings

schema: org.gnome.shell.extensions.user-theme
key name: name

John


[1] https://bugzilla.gnome.org/show_bug.cgi?id=644271
[2] https://github.com/nzjrs/gnome-tweak-tool/tree/theme-support
[3] http://gnome-shell.deviantart.com/gallery/#/d3b52v3
[4]
http://half-left.deviantart.com/art/GNOME-Shell-Dark-Glass-Git-192828345