Elad Alfassa 7576883744 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-20 15:47:54 +02:00

..

extension.js

Support globally installed themes

2011-05-20 15:47:54 +02:00

Makefile.am

Add user-theme extension

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

metadata.json.in

Mark extensions that require only public API

2011-04-05 16:42:48 +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