From e59ca7053b37508f6cc755b61a28979a55eb50e5 Mon Sep 17 00:00:00 2001
From: Alexander Mikhaylenko <exalm7659@gmail.com>
Date: Sat, 9 May 2020 19:27:00 +0500
Subject: [PATCH] workspacesView: Lower scroll timeout

Looks like 250ms is too high, lower it to 150ms.

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2602
---
 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 942b87449..09155c5ae 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;