Florian Müllner 8c6644f1be Revert "user-theme: Temporarily work around a gnome-shell regression" ...

The issue has been fixed in gnome-shell master, so we can revert the
workaround.

2014-11-27 14:49:43 +00:00

..

extension.js

Revert "user-theme: Temporarily work around a gnome-shell regression"

2014-11-27 14:49:43 +00: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