From 4c449124eea56c67d56c884697c9e8c5700bf6fb Mon Sep 17 00:00:00 2001
From: Adel Gadllah <adel.gadllah@gmail.com>
Date: Tue, 18 Jan 2011 19:25:00 +0100
Subject: [PATCH] windowManager: Skip disposed windows in _switchWorkspaceDone

Avoid reparenting already disposed windows.

https://bugzilla.gnome.org/show_bug.cgi?id=639853
---
 js/ui/windowManager.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 5bd14e499..447e4796e 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -497,6 +497,8 @@ WindowManager.prototype = {
 
         for (let i = 0; i < switchData.windows.length; i++) {
                 let w = switchData.windows[i];
+                if (w.window.is_destroyed()) // Window gone
+                    continue;
                 if (w.window.get_parent() == switchData.outGroup) {
                     w.window.reparent(w.parent);
                     w.window.hide();