brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

workspacesView: Lower scroll timeout

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

Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2602
This commit is contained in:
Alexander Mikhaylenko 2020-05-09 19:27:00 +05:00
parent 6895592a7b
commit e59ca7053b
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
js/ui/workspacesView.js
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;