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

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

commit 8a64630aafddee6ff4103e270f94e09b4bebbe5f
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 e91eb2b..c407431 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -374,6 +374,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];