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