From 5389581bdba7f5c84c4cd550b0a04f3854ef8bb9 Mon Sep 17 00:00:00 2001 From: Rui Matos Date: Fri, 8 Nov 2013 13:58:09 +0100 Subject: [PATCH 2/2] extensions: Add a SESSION_MODE extension type This allows e.g. gnome-tweak-tool to present these extensions in a different way since they can't be disabled. --- js/misc/extensionUtils.js | 3 ++- js/ui/extensionSystem.js | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/js/misc/extensionUtils.js b/js/misc/extensionUtils.js index 7c6769a..a46929a 100644 --- a/js/misc/extensionUtils.js +++ b/js/misc/extensionUtils.js @@ -15,7 +15,8 @@ const FileUtils = imports.misc.fileUtils; const 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 8c12e97..ba5db46 100644 --- a/js/ui/extensionSystem.js +++ b/js/ui/extensionSystem.js @@ -274,6 +274,8 @@ function _loadExtensions() { let finder = new ExtensionUtils.ExtensionFinder(); finder.connect('extension-found', function(signals, extension) { loadExtension(extension); + if (Main.sessionMode.enabledExtensions.indexOf(extension.uuid) != -1) + extension.type = ExtensionUtils.ExtensionType.SESSION_MODE; }); finder.scanExtensions(); } -- 1.8.3.1