Fix gesture-inhibitor

Resolves: https://issues.redhat.com/browse/RHEL-153228
This commit is contained in:
Florian Müllner 2026-03-04 14:20:20 +01:00 committed by Tomas Pelka
parent cc950ae0ea
commit f804b081bc

View File

@ -1,4 +1,4 @@
From 66133e38164e7cd12c9bbd7270a872ad8bfeb0bf Mon Sep 17 00:00:00 2001
From 0998c5d57e9f9a93232dca8e02edfc9c273d28e6 Mon Sep 17 00:00:00 2001
From: Carlos Garnacho <carlosg@gnome.org>
Date: Thu, 28 Jan 2021 00:06:12 +0100
Subject: [PATCH] Add gesture-inhibitor extension
@ -18,7 +18,7 @@ This extension may disable default GNOME Shell gestures.
diff --git a/extensions/gesture-inhibitor/extension.js b/extensions/gesture-inhibitor/extension.js
new file mode 100644
index 00000000..25c88916
index 00000000..d0917f39
--- /dev/null
+++ b/extensions/gesture-inhibitor/extension.js
@@ -0,0 +1,74 @@
@ -44,10 +44,10 @@ index 00000000..25c88916
+
+ actions.forEach(a => {
+ if (a instanceof Shell.EdgeDragGesture &&
+ a._side === St.Side.BOTTOM)
+ a.side === St.Side.BOTTOM)
+ this._showOsk = a;
+ else if (a instanceof Shell.EdgeDragGesture &&
+ a._side === St.Side.TOP)
+ a.side === St.Side.TOP)
+ this._unfullscreen = a;
+ });
+
@ -174,5 +174,5 @@ index fa7b722f..2197cb8a 100644
enabled_extensions = get_option('enable_extensions')
--
2.51.1
2.53.0