[gnome-shell] workspace: hide the overlay for a zoomed window when exiting the overivew

[Stefano Facchini <sfacchini src gnome org>]

commit 630416992696c1d4054e05a54812665ec8f47c21
Author: Stefano Facchini <stefano facchini gmail com>
Date:   Wed Apr 18 13:54:06 2012 +0200

    workspace: hide the overlay for a zoomed window when exiting the overivew
    
    Otherwise it remains visible until the overview animation is completed.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=674323

 js/ui/workspace.js |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 81af030..ae031c1 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1134,7 +1134,6 @@ const Workspace = new Lang.Class({
     _hideAllOverlays: function() {
         for (let i = 0; i < this._windows.length; i++) {
             let clone = this._windows[i];
-            Tweener.removeTweens(clone.actor);
             let overlay = this._windowOverlays[i];
             if (overlay)
                 overlay.hide();
@@ -1321,7 +1320,10 @@ const Workspace = new Lang.Class({
 
         this.leavingOverview = true;
 
-        this._hideAllOverlays();
+        for (let i = 0; i < this._windows.length; i++) {
+            let clone = this._windows[i];
+            Tweener.removeTweens(clone.actor);
+        }
 
         if (this._repositionWindowsId > 0) {
             Mainloop.source_remove(this._repositionWindowsId);
@@ -1361,6 +1363,7 @@ const Workspace = new Lang.Class({
             }
         }
 
+        this._hideAllOverlays();
     },
 
     destroy : function() {