From 2ad2853278c6ad51005eaec9e6921d003c5abe83 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 26 May 2016 18:51:30 +0200 Subject: [PATCH] workspacesView: Consider workspaces-only-on-primary when scrolling It is odd to switch workspaces using the scroll wheel when the pointer is on a monitor without workspaces, so only handle scroll events on non-primary monitors when workspaces-only-on-primary is disabled. https://bugzilla.gnome.org/show_bug.cgi?id=766883 --- js/ui/workspacesView.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js index aaa9522fd..f8217cffd 100644 --- a/js/ui/workspacesView.js +++ b/js/ui/workspacesView.js @@ -674,6 +674,11 @@ const WorkspacesDisplay = new Lang.Class({ _onScrollEvent: function(actor, event) { if (!this.actor.mapped) return Clutter.EVENT_PROPAGATE; + + if (this._workspacesOnlyOnPrimary && + this._getMonitorIndexForEvent(event) != this._primaryIndex) + return Clutter.EVENT_PROPAGATE; + let activeWs = global.screen.get_active_workspace(); let ws; switch (event.get_scroll_direction()) {