[gnome-shell-extensions] user-theme: fix enable after disable

[Giovanni Campagna <gcampagna src gnome org>]

commit c49c20fe38b8020104578a899967d6185e165c57
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Jan 11 11:57:20 2012 +0100

    user-theme: fix enable after disable
    
    In disable(), _settings was cleared, despite being created in
    init(), therefore a subsequent enable() would find it null.

 extensions/user-theme/extension.js |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index 70eb17b..7fd03b6 100644
--- a/extensions/user-theme/extension.js
+++ b/extensions/user-theme/extension.js
@@ -30,8 +30,6 @@ ThemeManager.prototype = {
             this._changedId = 0;
         }
 
-        this._settings = null;
-
         Main.setThemeStylesheet(null);
         Main.loadTheme();
     },