From b1128ef8086bd26f71f58e87a9ec6efc6a5023da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 16 Dec 2022 23:05:14 +0100 Subject: [PATCH] Allow inhibiting workspace switch gesture Resolves: #2154358 --- ...r-Allow-inhibiting-workspace-switch-.patch | 40 +++++++++++++++++++ gnome-shell-extensions.spec | 3 ++ 2 files changed, 43 insertions(+) create mode 100644 0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.patch diff --git a/0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.patch b/0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.patch new file mode 100644 index 0000000..ad0bbd8 --- /dev/null +++ b/0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.patch @@ -0,0 +1,40 @@ +From c70a1fa37f68687b8c0a013d2328e6262f8419d0 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 | 1 + + .../org.gnome.shell.extensions.gesture-inhibitor.gschema.xml | 4 ++++ + 2 files changed, 5 insertions(+) + +diff --git a/extensions/gesture-inhibitor/extension.js b/extensions/gesture-inhibitor/extension.js +index fb8a6dc0..d103d5b8 100644 +--- a/extensions/gesture-inhibitor/extension.js ++++ b/extensions/gesture-inhibitor/extension.js +@@ -48,6 +48,7 @@ class Extension { + { setting: 'app-switch', action: this._appSwitch }, + { setting: 'show-osk', action: this._showOsk }, + { setting: 'unfullscreen', action: this._unfullscreen }, ++ { setting: 'workspace-switch', action: Main.wm._workspaceAnimation._swipeTracker }, + ]; + + this._enabledDesc = Object.getOwnPropertyDescriptor( +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 4bdf9260..b06d027a 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 +@@ -12,6 +12,10 @@ + true + Application switch gesture + ++ ++ true ++ Workspace switch gesture ++ + + true + Unfullscreen gesture +-- +2.38.1 + diff --git a/gnome-shell-extensions.spec b/gnome-shell-extensions.spec index c22158e..ec6f0c9 100644 --- a/gnome-shell-extensions.spec +++ b/gnome-shell-extensions.spec @@ -37,6 +37,7 @@ Patch014: window-list-touch.patch Patch015: 0001-classification-banner-Handle-fullscreen-monitors.patch Patch016: 0001-desktop-icons-Don-t-grab-focus-on-click.patch Patch017: 0001-desktopManager-Hook-into-LayoutManager-to-create-gri.patch +Patch018: 0001-gesture-inhibitor-Allow-inhibiting-workspace-switch-.patch %description GNOME Shell Extensions is a collection of extensions providing additional and @@ -417,6 +418,8 @@ workspaces. Resolves: #2150001 - Make desktop icons resilient to background reloads Resolves: #2139895 +- Allow disabling workspace switch gesture + Resolves: #2154358 * Wed Jun 22 2022 Florian Müllner - 40.7-3 - Improve window-list on touch