From 026f598c377a9c43c2295cfc31d35d3709baaa93 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sun, 6 Feb 2011 17:46:12 +0100
Subject: [PATCH] dash: Skip animations while the overview is hidden

If a window is closed, the list of running applications may change
while the overview is hidden. Animating dash changes is pointless
in this case, so update the dash without animations in that case.

https://bugzilla.gnome.org/show_bug.cgi?id=636156
---
 js/ui/dash.js | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/js/ui/dash.js b/js/ui/dash.js
index 6417ebb01..0456de86b 100644
--- a/js/ui/dash.js
+++ b/js/ui/dash.js
@@ -575,9 +575,18 @@ Dash.prototype = {
         for (let i = 0; i < removedActors.length; i++) {
             removedActors[i].show();
             let item = removedActors[i]._delegate;
-            item.animateOutAndDestroy();
+
+            // Don't animate item removal when the overview is hidden
+            if (Main.overview.visible)
+                item.animateOutAndDestroy();
+            else
+                item.actor.destroy();
         }
 
+        // Don't animate item addition when the overview is hidden
+        if (!Main.overview.visible)
+            return;
+
         for (let i = 0; i < addedItems.length; i++)
             addedItems[i].item.animateIn();
     },