|
 |
c7fac9 |
From 55bd98676e92f181c85813b1d16e92a9769c901f Mon Sep 17 00:00:00 2001
|
|
|
c7fac9 |
From: Rui Matos <tiagomatos@gmail.com>
|
|
|
c7fac9 |
Date: Fri, 8 Nov 2013 13:58:09 +0100
|
|
|
c7fac9 |
Subject: [PATCH] extensions: Add a SESSION_MODE extension type
|
|
|
c7fac9 |
|
|
|
c7fac9 |
This allows e.g. gnome-tweak-tool to present these extensions in a
|
|
|
c7fac9 |
different way since they can't be disabled.
|
|
|
c7fac9 |
---
|
|
|
c7fac9 |
js/misc/extensionUtils.js | 3 ++-
|
|
|
c7fac9 |
js/ui/extensionSystem.js | 2 ++
|
|
|
c7fac9 |
2 files changed, 4 insertions(+), 1 deletion(-)
|
|
|
c7fac9 |
|
|
|
c7fac9 |
diff --git a/js/misc/extensionUtils.js b/js/misc/extensionUtils.js
|
|
|
c7fac9 |
index 9f77b4c40..1e25da335 100644
|
|
|
c7fac9 |
--- a/js/misc/extensionUtils.js
|
|
|
c7fac9 |
+++ b/js/misc/extensionUtils.js
|
|
|
c7fac9 |
@@ -13,7 +13,8 @@ const FileUtils = imports.misc.fileUtils;
|
|
|
c7fac9 |
|
|
|
c7fac9 |
var ExtensionType = {
|
|
|
c7fac9 |
SYSTEM: 1,
|
|
|
c7fac9 |
- PER_USER: 2
|
|
|
c7fac9 |
+ PER_USER: 2,
|
|
|
c7fac9 |
+ SESSION_MODE: 3
|
|
|
c7fac9 |
};
|
|
|
c7fac9 |
|
|
|
c7fac9 |
// Maps uuid -> metadata object
|
|
|
c7fac9 |
diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js
|
|
|
c7fac9 |
index e35c01ab8..a013a3ee7 100644
|
|
|
c7fac9 |
--- a/js/ui/extensionSystem.js
|
|
|
c7fac9 |
+++ b/js/ui/extensionSystem.js
|
|
|
c7fac9 |
@@ -316,6 +316,8 @@ function _loadExtensions() {
|
|
|
c7fac9 |
let finder = new ExtensionUtils.ExtensionFinder();
|
|
|
c7fac9 |
finder.connect('extension-found', (finder, extension) => {
|
|
|
c7fac9 |
loadExtension(extension);
|
|
|
c7fac9 |
+ if (Main.sessionMode.enabledExtensions.indexOf(extension.uuid) != -1)
|
|
|
c7fac9 |
+ extension.type = ExtensionUtils.ExtensionType.SESSION_MODE;
|
|
|
c7fac9 |
});
|
|
|
c7fac9 |
finder.scanExtensions();
|
|
|
c7fac9 |
}
|
|
|
c7fac9 |
--
|
|
|
c7fac9 |
2.20.1
|
|
|
c7fac9 |
|