Giovanni Campagna ac49ee0b5c 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-09-10 16:54:00 +02:00

..

extension.js

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

2013-09-10 16:54:00 +02:00

Makefile.am

build system: factor out setting schema generation

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

metadata.json.in

build system: add additional automatic metadata

2012-02-08 18:00:56 +01: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