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

[Florian Müllner <fmuellner src gnome org>]

commit 8c6644f1be844b2f3eca5b4bafa495b4b6ca1243
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Nov 27 14:49:43 2014 +0000

    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.

 extensions/user-theme/extension.js |   10 ++++------
 1 files changed, 4 insertions(+), 6 deletions(-)
---
diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index b9dc30e..b36d36a 100644
--- a/extensions/user-theme/extension.js
+++ b/extensions/user-theme/extension.js
@@ -30,7 +30,7 @@ const ThemeManager = new Lang.Class({
             this._changedId = 0;
         }
 
-        Main._cssStylesheet = null;
+        Main.setThemeStylesheet(null);
         Main.loadTheme();
     },
 
@@ -57,13 +57,11 @@ const ThemeManager = new Lang.Class({
             }
         }
 
-        if (_stylesheet) {
+        if (_stylesheet)
             global.log('loading user theme: ' + _stylesheet);
-            Main.setThemeStylesheet(_stylesheet);
-        } else {
+        else
             global.log('loading default theme (Adwaita)');
-            Main._cssStylesheet = null;
-        }
+        Main.setThemeStylesheet(_stylesheet);
         Main.loadTheme();
     }
 });