[gnome-shell/gnome-3-36] workspacesView: Lower scroll timeout

[Robert Mader <rmader src gnome org>]

commit c9950442d9391e8c73eeb4435a63c22474a99510
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date:   Sat May 9 19:27:00 2020 +0500

    workspacesView: Lower scroll timeout
    
    Looks like 250ms is too high, lower it to 150ms.
    
    Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2602
    
    (cherry picked from commit e59ca7053b37508f6cc755b61a28979a55eb50e5)

 js/ui/workspacesView.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 52ea5fdbf5..ae9be2bfd9 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -8,6 +8,7 @@ const SwipeTracker = imports.ui.swipeTracker;
 const Workspace = imports.ui.workspace;
 
 var WORKSPACE_SWITCH_TIME = 250;
+var SCROLL_TIMEOUT_TIME = 150;
 
 var AnimationType = {
     ZOOM: 0,
@@ -815,7 +816,7 @@ class WorkspacesDisplay extends St.Widget {
 
         this._canScroll = false;
         this._scrollTimeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT,
-            WORKSPACE_SWITCH_TIME, () => {
+            SCROLL_TIMEOUT_TIME, () => {
                 this._canScroll = true;
                 this._scrollTimeoutId = 0;
                 return GLib.SOURCE_REMOVE;