From 31cdac7bfbd5cd6c07578554ab09cc488b9dde66 Mon Sep 17 00:00:00 2001
From: Cosimo Cecchi <cosimoc@gnome.org>
Date: Sat, 16 Feb 2013 12:45:10 -0500
Subject: [PATCH] overview: change _hideInProgress to visibleTarget

And use it in overviewControls. When we moved this code from overview.js
to overviewControls.js we lost a condition so we now slide in controls
even when going back from the overview, which looks bad.

https://bugzilla.gnome.org/show_bug.cgi?id=693974
---
 js/ui/overview.js         | 6 +++---
 js/ui/overviewControls.js | 3 ++-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/js/ui/overview.js b/js/ui/overview.js
index f5706f080..afdba1fc0 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -152,7 +152,7 @@ const Overview = new Lang.Class({
         this._shownTemporarily = false; // showTemporarily() and not hideTemporarily()
         this._modal = false;            // have a modal grab
         this.animationInProgress = false;
-        this._hideInProgress = false;
+        this.visibleTarget = false;
 
         // During transitions, we raise this to the top to avoid having the overview
         // area be reactive; it causes too many issues such as double clicks on
@@ -469,6 +469,7 @@ const Overview = new Lang.Class({
 
         this.visible = true;
         this.animationInProgress = true;
+        this.visibleTarget = true;
 
         // All the the actors in the window group are completely obscured,
         // hiding the group holding them while the Overview is displayed greatly
@@ -606,7 +607,7 @@ const Overview = new Lang.Class({
             return;
 
         this.animationInProgress = true;
-        this._hideInProgress = true;
+        this.visibleTarget = false;
 
         this._viewSelector.zoomFromOverview();
 
@@ -658,7 +659,6 @@ const Overview = new Lang.Class({
 
         this.visible = false;
         this.animationInProgress = false;
-        this._hideInProgress = false;
 
         this._coverPane.hide();
 
diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index 37894edc4..f0f309e9e 100644
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -314,7 +314,8 @@ const ControlsManager = new Lang.Class({
         // actors will be made visible again when entering the overview
         // next time, and animating them while doing so is just
         // unnecessary noise
-        if (!Main.overview.visible)
+        if (!Main.overview.visible ||
+            (Main.overview.animationInProgress && !Main.overview.visibleTarget))
             return;
 
         let activePage = this._viewSelector.getActivePage();