diff --git a/js/misc/extensionUtils.js b/js/misc/extensionUtils.js index cf308b3..fb1e2b5 100644 --- a/js/misc/extensionUtils.js +++ b/js/misc/extensionUtils.js @@ -13,7 +13,8 @@ const FileUtils = imports.misc.fileUtils; var ExtensionType = { SYSTEM: 1, - PER_USER: 2 + PER_USER: 2, + SESSION_MODE: 3 }; // Maps uuid -> metadata object diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js index 6244c39..9ffdb4f 100644 --- a/js/ui/extensionSystem.js +++ b/js/ui/extensionSystem.js @@ -322,6 +322,8 @@ function _loadExtensions() { let finder = new ExtensionUtils.ExtensionFinder(); finder.connect('extension-found', (finder, extension) => { loadExtension(extension); + if (Main.sessionMode.enabledExtensions.indexOf(extension.uuid) != -1) + extension.type = ExtensionUtils.ExtensionType.SESSION_MODE; }); finder.scanExtensions(); }