[gnome-shell] windowManager: Skip disposed windows in _switchWorkspaceDone

[Adel Gadllah <agadllah src gnome org>]

commit 4c449124eea56c67d56c884697c9e8c5700bf6fb
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Tue Jan 18 19:25:00 2011 +0100

    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 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 5bd14e4..447e479 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();