Elad Alfassa 268fd462ac Support globally installed themes ...

If a theme cannot be found in the user directory, try in system
data dirs (XDG_DATA_DIRS, usually /usr/share and /usr/local/share)

Signed-off-by: Giovanni Campagna <gcampagna@src.gnome.org>

2011-05-02 18:31:19 +02:00

..

extension.js

Support globally installed themes

2011-05-02 18:31:19 +02:00

Makefile.am

Add user-theme extension

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

metadata.json.in

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +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

Add user-theme extension

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