diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js index c35e7f19c..3a095ae5c 100644 --- a/js/ui/shellDBus.js +++ b/js/ui/shellDBus.js @@ -322,6 +322,10 @@ const GnomeShellExtensionsIface = ' \ \ \ \ + \ + \ + \ + \ \ \ '; @@ -424,6 +428,22 @@ var GnomeShellExtensions = new Lang.Class({ ExtensionDownloader.checkForUpdates(); }, + LoadUserExtension(uuid) { + let extension = ExtensionUtils.extensions[uuid]; + if (extension) + return true; + + let dir = Gio.File.new_for_path(GLib.build_filenamev([global.userdatadir, 'extensions', uuid])); + try { + extension = ExtensionUtils.createExtensionObject(uuid, dir, ExtensionUtils.ExtensionType.PER_USER); + ExtensionSystem.loadExtension(extension); + } catch (e) { + log('Could not load user extension from %s'.format(dir.get_path())); + return false; + } + return true; + }, + ShellVersion: Config.PACKAGE_VERSION, _extensionStateChanged(_, newState) {