mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-18 07:34:54 +00:00
[WorkspaceView] Allow workspace switching using mousewheel + indicators
Allow the user to switch between workspaces by scrolling on the indicators. Up = next workspace Down = previous workspace
This commit is contained in:
parent
20abc4cb99
commit
337eab614e
1 changed files with 11 additions and 0 deletions
|
|
@ -703,6 +703,17 @@ SingleView.prototype = {
|
|||
this._workspaces[i]._metaWorkspace.activate(global.get_current_time());
|
||||
}));
|
||||
|
||||
actor.connect('scroll-event', Lang.bind(this, function(actor, event) {
|
||||
let direction = event.get_scroll_direction();
|
||||
let activeWorkspaceIndex = global.screen.get_active_workspace_index();
|
||||
let numWorkspaces = global.screen.n_workspaces;
|
||||
if (direction == Clutter.ScrollDirection.UP && activeWorkspaceIndex < numWorkspaces - 1) {
|
||||
this._workspaces[activeWorkspaceIndex+1]._metaWorkspace.activate(global.get_current_time());
|
||||
} else if (direction == Clutter.ScrollDirection.DOWN && activeWorkspaceIndex > 0) {
|
||||
this._workspaces[activeWorkspaceIndex-1]._metaWorkspace.activate(global.get_current_time());
|
||||
}
|
||||
}));
|
||||
|
||||
this._indicatorsPanel.add_actor(actor);
|
||||
|
||||
let [a, spacing] = actor.get_theme_node().get_length('border-spacing', false);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue