From 9f3afdf92860bbb455d1bafbc3244575b6c3c041 Mon Sep 17 00:00:00 2001
From: Adel Gadllah <adel.gadllah@gmail.com>
Date: Fri, 22 Feb 2013 12:28:50 +0100
Subject: [PATCH] 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 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 7c1ff095c..c642d2c70 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();
             }
         }