[gnome-shell] workspace: Remove tweens when hiding overlays

[Florian MÃllner <fmuellner src gnome org>]

commit 8a6a3968c32bbc34fd52256df76183d13122a706
Author: Florian MÃllner <fmuellner gnome org>
Date:   Mon Dec 12 19:48:16 2011 +0100

    workspace: Remove tweens when hiding overlays
    
    The window overlays may be shown erroneously if hideOverlays is
    called while the corresponding clone has an uncompleted tween which
    calls showOverlays in its onComplete handler, for instance when
    quickly leaving the overview before the initial overview animation
    has finished. To fix, remove all existing tweens when hiding the
    overlays.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=666020

 js/ui/workspace.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 431d184..b618bb6 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1130,6 +1130,8 @@ 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();