Giovanni Campagna 1eb245c514 user-theme: port to new extension API ...

main() has been	replaced by init(), enable() and disable()

2011-08-02 23:35:37 +02:00

..

extension.js

user-theme: port to new extension API

2011-08-02 23:35:37 +02:00

Makefile.am

Add user-theme extension

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

metadata.json.in

Revert "Add 3.0 to user-theme"

2011-05-31 20:25:19 +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