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
This commit is contained in:
Adel Gadllah 2013-02-22 12:28:50 +01:00
parent 627a2412d2
commit 9f3afdf928

View File

@ -593,7 +593,7 @@ const WindowManager = new Lang.Class({
switchData.windows.push({ window: window, switchData.windows.push({ window: window,
parent: window.get_parent() }); parent: window.get_parent() });
window.reparent(switchData.inGroup); window.reparent(switchData.inGroup);
window.show_all(); window.show();
} }
} }