Blame SOURCES/0001-extensions-Fix-opening-system-installed-extensions-i.patch
|
 |
d08b65 |
From ca3581fe34030438c323b7da6b6d08abcd4d391d Mon Sep 17 00:00:00 2001
|
|
|
d08b65 |
From: Kalev Lember <klember@redhat.com>
|
|
|
d08b65 |
Date: Mon, 19 Nov 2018 11:06:30 +0100
|
|
|
d08b65 |
Subject: [PATCH] extensions: Fix opening system installed extensions in
|
|
|
d08b65 |
gnome-software
|
|
|
d08b65 |
|
|
|
d08b65 |
When generating the app id that's passed to gnome-software, avoid
|
|
|
d08b65 |
hardcoding the 'user' scope and use 'system' scope for system-wide
|
|
|
d08b65 |
installed shell extensions.
|
|
|
d08b65 |
---
|
|
|
d08b65 |
gtweak/tweaks/tweak_group_shell_extensions.py | 3 ++-
|
|
|
d08b65 |
1 file changed, 2 insertions(+), 1 deletion(-)
|
|
|
d08b65 |
|
|
|
d08b65 |
diff --git a/gtweak/tweaks/tweak_group_shell_extensions.py b/gtweak/tweaks/tweak_group_shell_extensions.py
|
|
|
d08b65 |
index 47854a7..284e6e0 100644
|
|
|
d08b65 |
--- a/gtweak/tweaks/tweak_group_shell_extensions.py
|
|
|
d08b65 |
+++ b/gtweak/tweaks/tweak_group_shell_extensions.py
|
|
|
d08b65 |
@@ -88,7 +88,8 @@ class _ShellExtensionTweak(Gtk.ListBoxRow, Tweak):
|
|
|
d08b65 |
self._shell = shell
|
|
|
d08b65 |
state = ext.get("state")
|
|
|
d08b65 |
uuid = ext["uuid"]
|
|
|
d08b65 |
- self._app_id = "user/*/extensions-web/shell-extension/" + uuid.replace('@', '_') + "/*"
|
|
|
d08b65 |
+ scope = "user" if ext.get("type") == GnomeShell.EXTENSION_TYPE["PER_USER"] else "system"
|
|
|
d08b65 |
+ self._app_id = scope + "/*/*/shell-extension/" + uuid.replace('@', '_') + "/*"
|
|
|
d08b65 |
|
|
|
d08b65 |
shell._settings.bind("disable-user-extensions", self,
|
|
|
d08b65 |
"sensitive", Gio.SettingsBindFlags.INVERT_BOOLEAN)
|
|
|
d08b65 |
--
|
|
|
d08b65 |
2.19.1
|
|
|
d08b65 |
|