[gnome-tweak-tool/wip/fix-extension-links] extensions: Fix link to GNOME Software

[Jeremy Bicha <jbicha src gnome org>]

commit 2d57a1eca1fa2187aecc95698d81171b147d5cf5
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Sun Sep 3 18:12:16 2017 -0400

    extensions: Fix link to GNOME Software

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