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 _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
