[gnome-tweak-tool] extensions: Fix enabling/disabling extensions



commit 278c25962ba7275b0c7f975179b3ad7a70ce2fd1
Author: Jeremy Soller <jeremy system76 com>
Date:   Mon Sep 18 14:28:13 2017 -0600

    extensions: Fix enabling/disabling extensions
    
    https://bugzilla.gnome.org/show_bug.cgi?id=787863

 gtweak/tweaks/tweak_group_shell_extensions.py |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_shell_extensions.py b/gtweak/tweaks/tweak_group_shell_extensions.py
index d21759c..f1205b1 100644
--- a/gtweak/tweaks/tweak_group_shell_extensions.py
+++ b/gtweak/tweaks/tweak_group_shell_extensions.py
@@ -85,8 +85,7 @@ class _ShellExtensionTweak(Gtk.ListBoxRow, Tweak):
         self._shell = shell
         state = ext.get("state")
         uuid = ext["uuid"]
-        uuid = uuid.replace('@', '_')
-        self._app_id = "user/*/extensions-web/shell-extension/" + uuid + "/*"
+        self._app_id = "user/*/extensions-web/shell-extension/" + uuid.replace('@', '_') + "/*"
 
         shell._settings.bind("disable-user-extensions", self,
                              "sensitive", Gio.SettingsBindFlags.INVERT_BOOLEAN)


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]