[gnome-shell/wip/fmuellner/ease-actors: 1034/1052] appDisplay: Skip animation when hidden

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

commit b062f2399c3ceeeaa550c619612e3f11e450507b
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jul 26 01:04:38 2019 +0000

    appDisplay: Skip animation when hidden
    
    The time computation isn't just unnecessary in that case, it's likely
    wrong as well: If we don't have a valid allocation, we may well end
    up with a negative value, NaN or Infinity.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/654

 js/ui/appDisplay.js | 6 ++++++
 1 file changed, 6 insertions(+)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index b26951e3c..cec1d602b 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -463,6 +463,12 @@ var AllView = class AllView extends BaseAppView {
         if (this._displayingPopup && this._currentPopup)
             this._currentPopup.popdown();
 
+        if (!this.actor.mapped) {
+            this._adjustment.value = this._grid.getPageY(pageNumber);
+            this._pageIndicators.setCurrentPage(pageNumber);
+            return;
+        }
+
         let velocity;
         if (!this._panning)
             velocity = 0;