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 e59ca7053b)
This commit is contained in:
Alexander Mikhaylenko 2020-05-09 19:27:00 +05:00 committed by Robert Mader
parent 5cf104933e
commit c9950442d9

View File

@ -8,6 +8,7 @@ const SwipeTracker = imports.ui.swipeTracker;
const Workspace = imports.ui.workspace; const Workspace = imports.ui.workspace;
var WORKSPACE_SWITCH_TIME = 250; var WORKSPACE_SWITCH_TIME = 250;
var SCROLL_TIMEOUT_TIME = 150;
var AnimationType = { var AnimationType = {
ZOOM: 0, ZOOM: 0,
@ -815,7 +816,7 @@ class WorkspacesDisplay extends St.Widget {
this._canScroll = false; this._canScroll = false;
this._scrollTimeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT, this._scrollTimeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT,
WORKSPACE_SWITCH_TIME, () => { SCROLL_TIMEOUT_TIME, () => {
this._canScroll = true; this._canScroll = true;
this._scrollTimeoutId = 0; this._scrollTimeoutId = 0;
return GLib.SOURCE_REMOVE; return GLib.SOURCE_REMOVE;