Florian Müllner dd3c7ca199 user-theme: Temporarily work around a gnome-shell regression ...

setThemeStylesheet() stopped accepting %null to revert to the default
stylesheet. The issue is fixed in gnome-shell master, but work around
it for 3.15.2 to not ship broken (again).

2014-11-27 14:42:01 +00:00

..

extension.js

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

2014-11-27 14:42:01 +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