From dd3c7ca199d8675f454ba4ab12a8adc32ecd0ed9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 27 Nov 2014 14:32:28 +0000
Subject: [PATCH] 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).
---
 extensions/user-theme/extension.js | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/extensions/user-theme/extension.js b/extensions/user-theme/extension.js
index b36d36a5..b9dc30ee 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.setThemeStylesheet(null);
+        Main._cssStylesheet = null;
         Main.loadTheme();
     },
 
@@ -57,11 +57,13 @@ const ThemeManager = new Lang.Class({
             }
         }
 
-        if (_stylesheet)
+        if (_stylesheet) {
             global.log('loading user theme: ' + _stylesheet);
-        else
+            Main.setThemeStylesheet(_stylesheet);
+        } else {
             global.log('loading default theme (Adwaita)');
-        Main.setThemeStylesheet(_stylesheet);
+            Main._cssStylesheet = null;
+        }
         Main.loadTheme();
     }
 });