[gnome-shell] dash: Skip animations while the overview is hidden

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

commit 026f598c377a9c43c2295cfc31d35d3709baaa93
Author: Florian Müllner <fmuellner gnome org>
Date:   Sun Feb 6 17:46:12 2011 +0100

    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 files changed, 10 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/dash.js b/js/ui/dash.js
index 6417ebb..0456de8 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();
     },