[gnome-shell] appDisplay: Skip animation when hidden

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit 0f178c3b3dcfecae62e3458ddc62500e83e40968
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;