[gnome-shell] windowManager: Don't use show_all

[Adel Gadllah <agadllah src gnome org>]

commit 9f3afdf92860bbb455d1bafbc3244575b6c3c041
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Fri Feb 22 12:28:50 2013 +0100

    windowManager: Don't use show_all
    
    It is deprecated and does not make sense there anyway, so use show() instead.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=694441

 js/ui/windowManager.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 7c1ff09..c642d2c 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -593,7 +593,7 @@ const WindowManager = new Lang.Class({
                 switchData.windows.push({ window: window,
                                           parent: window.get_parent() });
                 window.reparent(switchData.inGroup);
-                window.show_all();
+                window.show();
             }
         }