layout: Move window_group visibility to the layout

This ensures that windows are hidden in the screen shield and in gdm.

https://bugzilla.gnome.org/show_bug.cgi?id=695747
This commit is contained in:
Jasper St. Pierre 2013-03-13 14:38:59 -04:00
parent 917a24580b
commit b328fd7aed
2 changed files with 6 additions and 6 deletions

View File

@ -833,6 +833,11 @@ const LayoutManager = new Lang.Class({
}, },
_updateVisibility: function() { _updateVisibility: function() {
let windowsVisible = Main.sessionMode.hasWindows && !this._inOverview;
global.window_group.visible = windowsVisible;
global.top_window_group.visible = windowsVisible;
for (let i = 0; i < this._trackedActors.length; i++) { for (let i = 0; i < this._trackedActors.length; i++) {
let actorData = this._trackedActors[i], visible; let actorData = this._trackedActors[i], visible;
if (!actorData.trackFullscreen) if (!actorData.trackFullscreen)
@ -840,7 +845,7 @@ const LayoutManager = new Lang.Class({
if (!actorData.isToplevel) if (!actorData.isToplevel)
continue; continue;
if (this._inOverview || !Main.sessionMode.hasWindows) if (!windowsVisible)
visible = true; visible = true;
else if (this.findMonitorForActor(actorData.actor).inFullscreen) else if (this.findMonitorForActor(actorData.actor).inFullscreen)
visible = false; visible = false;

View File

@ -540,8 +540,6 @@ const Overview = new Lang.Class({
// //
// Disable unredirection while in the overview // Disable unredirection while in the overview
Meta.disable_unredirect_for_screen(global.screen); Meta.disable_unredirect_for_screen(global.screen);
global.window_group.hide();
global.top_window_group.hide();
this._stack.show(); this._stack.show();
this._backgroundGroup.show(); this._backgroundGroup.show();
this._viewSelector.show(); this._viewSelector.show();
@ -688,9 +686,6 @@ const Overview = new Lang.Class({
// Re-enable unredirection // Re-enable unredirection
Meta.enable_unredirect_for_screen(global.screen); Meta.enable_unredirect_for_screen(global.screen);
global.window_group.show();
global.top_window_group.show();
this._viewSelector.hide(); this._viewSelector.hide();
this._desktopFade.hide(); this._desktopFade.hide();
this._backgroundGroup.hide(); this._backgroundGroup.hide();