[gnome-shell] Don't temporarily show minimized windows while switching workspaces

[Dan Winship <danw src gnome org>]

commit 0f2860b588352e1b1f70a2e7726c60433982f284
Author: Dan Winship <danw gnome org>
Date:   Mon May 11 13:06:42 2009 -0400

    Don't temporarily show minimized windows while switching workspaces
---
 js/ui/windowManager.js |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index c7f307c..18366a3 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -320,6 +320,10 @@ WindowManager.prototype = {
 
         for (let i = 0; i < windows.length; i++) {
             let window = windows[i];
+
+            if (!window.meta_window.showing_on_its_workspace())
+                continue;
+
             if (window.get_workspace() == from) {
                 switchData.windows.push({ window: window,
                                           parent: window.get_parent() });