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

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

commit 946c38da65bcdc0b3493a0c8104b461e51c50184
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 d16c8db..fef3da9 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -373,6 +373,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];