diff --git a/extra-extensions-0001-Add-gesture-inhibitor-extension.patch b/extra-extensions-0001-Add-gesture-inhibitor-extension.patch index b1d2122..d215ef3 100644 --- a/extra-extensions-0001-Add-gesture-inhibitor-extension.patch +++ b/extra-extensions-0001-Add-gesture-inhibitor-extension.patch @@ -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 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