From a6b2022bdaf68defd8754916057af50004dc2430 Mon Sep 17 00:00:00 2001 From: Kalev Lember Date: Feb 23 2021 11:12:47 +0000 Subject: Drop unused patches --- diff --git a/0001-extensions-Fix-opening-system-installed-extensions-i.patch b/0001-extensions-Fix-opening-system-installed-extensions-i.patch deleted file mode 100644 index 72938dd..0000000 --- a/0001-extensions-Fix-opening-system-installed-extensions-i.patch +++ /dev/null @@ -1,30 +0,0 @@ -From ca3581fe34030438c323b7da6b6d08abcd4d391d Mon Sep 17 00:00:00 2001 -From: Kalev Lember -Date: Mon, 19 Nov 2018 11:06:30 +0100 -Subject: [PATCH] extensions: Fix opening system installed extensions in - gnome-software - -When generating the app id that's passed to gnome-software, avoid -hardcoding the 'user' scope and use 'system' scope for system-wide -installed shell extensions. ---- - gtweak/tweaks/tweak_group_shell_extensions.py | 3 ++- - 1 file changed, 2 insertions(+), 1 deletion(-) - -diff --git a/gtweak/tweaks/tweak_group_shell_extensions.py b/gtweak/tweaks/tweak_group_shell_extensions.py -index 47854a7..284e6e0 100644 ---- a/gtweak/tweaks/tweak_group_shell_extensions.py -+++ b/gtweak/tweaks/tweak_group_shell_extensions.py -@@ -88,7 +88,8 @@ class _ShellExtensionTweak(Gtk.ListBoxRow, Tweak): - self._shell = shell - state = ext.get("state") - uuid = ext["uuid"] -- self._app_id = "user/*/extensions-web/shell-extension/" + uuid.replace('@', '_') + "/*" -+ scope = "user" if ext.get("type") == GnomeShell.EXTENSION_TYPE["PER_USER"] else "system" -+ self._app_id = scope + "/*/*/shell-extension/" + uuid.replace('@', '_') + "/*" - - shell._settings.bind("disable-user-extensions", self, - "sensitive", Gio.SettingsBindFlags.INVERT_BOOLEAN) --- -2.19.1 - diff --git a/0002-extensions-Fix-preferences-opening.patch b/0002-extensions-Fix-preferences-opening.patch deleted file mode 100644 index d598eaa..0000000 --- a/0002-extensions-Fix-preferences-opening.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -up ./gtweak/tweaks/tweak_group_shell_extensions.py.orig ./gtweak/tweaks/tweak_group_shell_extensions.py ---- ./gtweak/tweaks/tweak_group_shell_extensions.py.orig 2019-09-27 13:15:56.000000000 +0200 -+++ ./gtweak/tweaks/tweak_group_shell_extensions.py 2020-04-04 12:47:37.398869243 +0200 -@@ -159,7 +159,7 @@ class _ShellExtensionTweak(Gtk.ListBoxRo - sw.set_active(False) - - def _on_configure_clicked(self, btn, uuid): -- execute_subprocess(['gnome-shell-extension-prefs', uuid], block=False) -+ execute_subprocess(['gnome-extensions', 'prefs', uuid], block=False) - - def _on_extension_toggled(self, sw, active, uuid): - if not sw.get_active():