Files
gnome-shell-extensions/extensions/user-theme
Giovanni Campagna c49c20fe38 user-theme: fix enable after disable
In disable(), _settings was cleared, despite being created in
init(), therefore a subsequent enable() would find it null.
2012-01-11 17:41:28 +01:00
..