From 5cf104933e8c4e1b3888fda2c1f41eefa5b60ab3 Mon Sep 17 00:00:00 2001 From: Alexander Mikhaylenko Date: Sat, 9 May 2020 19:26:37 +0500 Subject: [PATCH] appDisplay: Lower scroll timeout Looks like 250ms is too high, lower it to 150ms. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2602 (cherry picked from commit 6895592a7becd7f3f76fd10da599944b8bda2407) --- js/ui/appDisplay.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js index 2bc7d932a..7654f98a2 100644 --- a/js/ui/appDisplay.js +++ b/js/ui/appDisplay.js @@ -36,6 +36,7 @@ var VIEWS_SWITCH_TIME = 400; var VIEWS_SWITCH_ANIMATION_DELAY = 100; var PAGE_SWITCH_TIME = 250; +var SCROLL_TIMEOUT_TIME = 150; var APP_ICON_SCALE_IN_TIME = 500; var APP_ICON_SCALE_IN_DELAY = 700; @@ -652,7 +653,7 @@ var AllView = GObject.registerClass({ this._canScroll = false; this._scrollTimeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT, - PAGE_SWITCH_TIME, () => { + SCROLL_TIMEOUT_TIME, () => { this._canScroll = true; this._scrollTimeoutId = 0; return GLib.SOURCE_REMOVE;