Giovanni Campagna ae9df9f001 user-theme: look for gnome-shell themes in ~/.local/share too ...

Just like we look in XDG_DATA_DIRS, we should honor XDG_DATA_HOME
as well.
For compatibility reasons, we look in ~/.themes first, then ~/.local/share,
then /usr/share.

2013-07-14 15:19:14 +02:00

..

extension.js

user-theme: look for gnome-shell themes in ~/.local/share too

2013-07-14 15:19:14 +02:00

Makefile.am

build system: factor out setting schema generation

2012-02-08 18:01:00 +01:00

metadata.json.in

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

org.gnome.shell.extensions.user-theme.gschema.xml.in

Add user-theme extension

2011-03-11 13:12:27 +13:00

stylesheet.css

Fix zero-length warning for stylesheets

2011-07-09 15:06:01 +02:00