workspacesView: Small cleanup
scrollToActive() and friends are only used for handling the 'switch-workspace' animation. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1333
This commit is contained in:
parent
e86e88ea47
commit
da738988cd
@ -508,25 +508,11 @@ class WorkspacesDisplay extends St.Widget {
|
|||||||
workspaceManager.get_active_workspace_index();
|
workspaceManager.get_active_workspace_index();
|
||||||
}
|
}
|
||||||
|
|
||||||
_activeWorkspaceChanged(_wm, _from, _to, _direction) {
|
_activeWorkspaceChanged(_wm, _from, to, _direction) {
|
||||||
if (this._gestureActive)
|
if (this._gestureActive)
|
||||||
return;
|
return;
|
||||||
|
|
||||||
this._scrollToActive();
|
this._scrollAdjustment.ease(to, {
|
||||||
}
|
|
||||||
|
|
||||||
_scrollToActive() {
|
|
||||||
let workspaceManager = global.workspace_manager;
|
|
||||||
let active = workspaceManager.get_active_workspace_index();
|
|
||||||
|
|
||||||
this._updateScrollAdjustment(active);
|
|
||||||
}
|
|
||||||
|
|
||||||
_updateScrollAdjustment(index) {
|
|
||||||
if (this._gestureActive)
|
|
||||||
return;
|
|
||||||
|
|
||||||
this._scrollAdjustment.ease(index, {
|
|
||||||
mode: Clutter.AnimationMode.EASE_OUT_CUBIC,
|
mode: Clutter.AnimationMode.EASE_OUT_CUBIC,
|
||||||
duration: WORKSPACE_SWITCH_TIME,
|
duration: WORKSPACE_SWITCH_TIME,
|
||||||
});
|
});
|
||||||
|
Loading…
Reference in New Issue
Block a user