[gnome-shell] layout: Move window_group visibility to the layout
- From: Jasper St. Pierre <jstpierre src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] layout: Move window_group visibility to the layout
- Date: Mon, 18 Mar 2013 07:57:50 +0000 (UTC)
commit b328fd7aed4455b6b7378480baa2d604806f0bea
Author: Jasper St. Pierre <jstpierre mecheye net>
Date: Wed Mar 13 14:38:59 2013 -0400
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
js/ui/layout.js | 7 ++++++-
js/ui/overview.js | 5 -----
2 files changed, 6 insertions(+), 6 deletions(-)
---
diff --git a/js/ui/layout.js b/js/ui/layout.js
index 32b65e6..c38655e 100644
--- a/js/ui/layout.js
+++ b/js/ui/layout.js
@@ -833,6 +833,11 @@ const LayoutManager = new Lang.Class({
},
_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++) {
let actorData = this._trackedActors[i], visible;
if (!actorData.trackFullscreen)
@@ -840,7 +845,7 @@ const LayoutManager = new Lang.Class({
if (!actorData.isToplevel)
continue;
- if (this._inOverview || !Main.sessionMode.hasWindows)
+ if (!windowsVisible)
visible = true;
else if (this.findMonitorForActor(actorData.actor).inFullscreen)
visible = false;
diff --git a/js/ui/overview.js b/js/ui/overview.js
index 33cc478..a6ed7fd 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -540,8 +540,6 @@ const Overview = new Lang.Class({
//
// Disable unredirection while in the overview
Meta.disable_unredirect_for_screen(global.screen);
- global.window_group.hide();
- global.top_window_group.hide();
this._stack.show();
this._backgroundGroup.show();
this._viewSelector.show();
@@ -688,9 +686,6 @@ const Overview = new Lang.Class({
// Re-enable unredirection
Meta.enable_unredirect_for_screen(global.screen);
- global.window_group.show();
- global.top_window_group.show();
-
this._viewSelector.hide();
this._desktopFade.hide();
this._backgroundGroup.hide();
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]