From ce75829479b1e7bf99e74bf835174e91c8da2276 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 9 Dec 2022 15:31:08 +0100 Subject: [PATCH] gesture-inhibitor: Allow inhibiting workspace switch gesture --- extensions/gesture-inhibitor/extension.js | 5 ++++- .../org.gnome.shell.extensions.gesture-inhibitor.gschema.xml | 4 ++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/extensions/gesture-inhibitor/extension.js b/extensions/gesture-inhibitor/extension.js index e74ede2f..bf02d075 100644 --- a/extensions/gesture-inhibitor/extension.js +++ b/extensions/gesture-inhibitor/extension.js @@ -37,6 +37,8 @@ class Extension { this._showOverview = a; else if (a instanceof WindowManager.AppSwitchAction) this._appSwitch = a; + else if (a instanceof WindowManager.WorkspaceSwitchAction) + this._workspaceSwitch = a; else if (a instanceof EdgeDragAction.EdgeDragAction && a._side == St.Side.BOTTOM) this._showOsk = a; @@ -52,7 +54,8 @@ class Extension { { setting: 'app-switch', action: this._appSwitch }, { setting: 'show-osk', action: this._showOsk }, { setting: 'unfullscreen', action: this._unfullscreen }, - { setting: 'show-app-grid', action: this._showAppGrid } + { setting: 'show-app-grid', action: this._showAppGrid }, + { setting: 'workspace-switch', action: this._workspaceSwitch }, ]; } diff --git a/extensions/gesture-inhibitor/org.gnome.shell.extensions.gesture-inhibitor.gschema.xml b/extensions/gesture-inhibitor/org.gnome.shell.extensions.gesture-inhibitor.gschema.xml index 1d67dcc0..a5e97a3d 100644 --- a/extensions/gesture-inhibitor/org.gnome.shell.extensions.gesture-inhibitor.gschema.xml +++ b/extensions/gesture-inhibitor/org.gnome.shell.extensions.gesture-inhibitor.gschema.xml @@ -16,6 +16,10 @@ true Application switch gesture + + true + Workspace switch gesture + true Unfullscreen gesture -- 2.38.1