Commit 278c2596 authored by Jeremy Soller's avatar Jeremy Soller Committed by Jeremy Bicha

extensions: Fix enabling/disabling extensions

https://bugzilla.gnome.org/show_bug.cgi?id=787863
parent cedc5839
......@@ -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)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment