From 0f178c3b3dcfecae62e3458ddc62500e83e40968 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 26 Jul 2019 01:04:38 +0000
Subject: [PATCH] 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;