From 8a6a3968c32bbc34fd52256df76183d13122a706 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 12 Dec 2011 19:48:16 +0100
Subject: [PATCH] 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 file changed, 2 insertions(+)

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 431d184b5..b618bb6c2 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();