diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js index f88307047..d6e399abf 100644 --- a/js/ui/extensionSystem.js +++ b/js/ui/extensionSystem.js @@ -184,6 +184,14 @@ function gotExtensionZipFile(session, message, uuid) { GLib.child_watch_add(GLib.PRIORITY_DEFAULT, pid, function(pid, status) { GLib.spawn_close_pid(pid); + + // Add extension to 'enabled-extensions' for the user, always... + let enabledExtensions = global.settings.get_strv(ENABLED_EXTENSIONS_KEY); + if (enabledExtensions.indexOf(uuid) == -1) { + enabledExtensions.push(uuid); + global.settings.set_strv(ENABLED_EXTENSIONS_KEY, enabledExtensions); + } + loadExtension(dir, true, ExtensionType.PER_USER); }); }