[gnome-shell/wip/exalm/gestures: 9/16] appDisplay: Don't allow mouse scrolling while animating

[Alexander Mikhaylenko <alexm src gnome org>]

commit 297951e55a3e7689841025d1f5df8f7cbf00d4b7
Author: Alexander Mikhaylenko <alexm gnome org>
Date:   Wed Oct 16 12:30:14 2019 +0500

    appDisplay: Don't allow mouse scrolling while animating
    
    Prevent uncontrollably fast scrolling.
    
    Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1338
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/605

 js/ui/appDisplay.js | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index caa6fdff58..77ab9e46d5 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -606,6 +606,9 @@ var AllView = GObject.registerClass({
         if (this._swipeTracker.canHandleScrollEvent(event))
             return Clutter.EVENT_PROPAGATE;
 
+        if (this._animating)
+            return Clutter.EVENT_STOP;
+
         let direction = event.get_scroll_direction();
         if (direction == Clutter.ScrollDirection.UP)
             this.goToPage(this._grid.currentPage - 1);