[gnome-shell-extensions/wip/window-list: 10/14] Work around breakage from dc2ec0a8f95baa21a

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

commit 3e6e5a3ba617412ce433295aafd1780166366c25
Author: Florian MÃllner <fmuellner gnome org>
Date:   Fri Jan 25 02:13:30 2013 +0100

    Work around breakage from dc2ec0a8f95baa21a

 extensions/window-list/extension.js |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index c09a02d..bb858a7 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -381,6 +381,10 @@ function disable() {
     windowList.actor.destroy();
     windowList = null;
 
+    // horrible workaround for theme node caching causing
+    // crashes on extension stylesheet reloading
+    Main.loadTheme();
+
     for (prop in injections)
         MessageTray.MessageTray.prototype[prop] = injections[prop];