[gnome-shell/benzea/systemd-user-units: 4/10] extensionSystem: Add isEnabled property for extensions

[Benjamin Berg <bberg src gnome org>]

commit db7af41d28b5102061e7a1e3c821443801b3b4fa
Author: Benjamin Berg <bberg redhat com>
Date:   Thu Aug 1 16:32:57 2019 +0200

    extensionSystem: Add isEnabled property for extensions
    
    The property reflects whether the extension is enabled in the setting.
    This does not mean that the extension is actually loaded, the API user
    must check the state property for this information.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/507

 js/misc/extensionUtils.js |  2 +-
 js/ui/extensionSystem.js  | 49 +++++++++++++++++++++++++++++++++++++++--------
 2 files changed, 42 insertions(+), 9 deletions(-)
---
diff --git a/js/misc/extensionUtils.js b/js/misc/extensionUtils.js
index 94f688a89..017f86b99 100644
--- a/js/misc/extensionUtils.js
+++ b/js/misc/extensionUtils.js
@@ -31,7 +31,7 @@ var ExtensionState = {
     UNINSTALLED: 99
 };
 
-const SERIALIZED_PROPERTIES = ['type', 'state', 'path', 'error', 'hasPrefs', 'canChange', 'willChange'];
+const SERIALIZED_PROPERTIES = ['type', 'state', 'path', 'error', 'hasPrefs', 'canChange', 'willChange', 
'isEnabled'];
 
 /**
  * getCurrentExtension:
diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js
index 54749061a..9ad230a00 100644
--- a/js/ui/extensionSystem.js
+++ b/js/ui/extensionSystem.js
@@ -22,6 +22,7 @@ var ExtensionManager = class {
 
         this._extensions = new Map();
         this._enabledExtensions = [];
+        this._userEnabledExtensions = [];
         this._extensionOrder = [];
 
         Main.sessionMode.connect('updated', this._sessionUpdated.bind(this));
@@ -251,12 +252,14 @@ var ExtensionManager = class {
         // Default to error, we set success as the last step
         extension.state = ExtensionState.ERROR;
 
+        let enabled = this._userEnabledExtensions.includes(extension.uuid);
+        extension.isEnabled = enabled;
+
         let checkVersion = !global.settings.get_boolean(EXTENSION_DISABLE_VERSION_CHECK_KEY);
 
         if (checkVersion && ExtensionUtils.isOutOfDate(extension)) {
             extension.state = ExtensionState.OUT_OF_DATE;
         } else {
-            let enabled = this._enabledExtensions.includes(extension.uuid);
             if (enabled) {
                 if (!this._callExtensionInit(extension.uuid))
                     return;
@@ -371,10 +374,10 @@ var ExtensionManager = class {
         extension.canChange = global.settings.is_writable(ENABLED_EXTENSIONS_KEY);
     }
 
-    _getEnabledExtensions() {
+    _getEnabledExtensions(effective) {
         let extensions = this._getModeExtensions();
 
-        if (!global.settings.get_boolean(DISABLE_USER_EXTENSIONS_KEY))
+        if (!effective || !global.settings.get_boolean(DISABLE_USER_EXTENSIONS_KEY))
             extensions = extensions.concat(global.settings.get_strv(ENABLED_EXTENSIONS_KEY));
 
         // filter out 'disabled-extensions' which takes precedence
@@ -388,11 +391,36 @@ var ExtensionManager = class {
     }
 
     _onEnabledExtensionsChanged() {
-        let newEnabledExtensions = this._getEnabledExtensions();
+        let newEnabledExtensions = this._getEnabledExtensions(true);
+        let newUserEnabledExtensions = this._getEnabledExtensions(false);
 
         if (!this._enabled)
             return;
 
+        // Find and enable all the newly enabled extensions: UUIDs found in the
+        // new setting, but not in the old one.
+        newUserEnabledExtensions.filter(
+            uuid => !this._userEnabledExtensions.includes(uuid)
+        ).forEach(uuid => {
+            let extension = this.lookup(uuid);
+            if (extension) {
+                extension.isEnabled = true;
+                this.emit('extension-state-changed', extension);
+            }
+        });
+
+        // Find and disable all the newly disabled extensions: UUIDs found in the
+        // old setting, but not in the new one.
+        this._userEnabledExtensions.filter(
+            item => !newUserEnabledExtensions.includes(item)
+        ).forEach(uuid => {
+            let extension = this.lookup(uuid);
+            if (extension) {
+                extension.isEnabled = false;
+                this.emit('extension-state-changed', extension);
+            }
+        });
+
         // Find and enable all the newly enabled extensions: UUIDs found in the
         // new setting, but not in the old one.
         newEnabledExtensions.filter(
@@ -410,6 +438,7 @@ var ExtensionManager = class {
         });
 
         this._enabledExtensions = newEnabledExtensions;
+        this._userEnabledExtensions = newUserEnabledExtensions;
     }
 
     _onSettingsWritableChanged() {
@@ -429,7 +458,8 @@ var ExtensionManager = class {
         let extensions = [...this._extensions.values()];
         for (let extension of extensions)
             this.reloadExtension(extension);
-        this._enabledExtensions = this._getEnabledExtensions();
+        this._enabledExtensions = this._getEnabledExtensions(true);
+        this._userEnabledExtensions = this._getEnabledExtensions(false);
 
         if (Main.sessionMode.allowExtensions) {
             this._enabledExtensions.forEach(uuid => {
@@ -452,7 +482,8 @@ var ExtensionManager = class {
         global.settings.connect(`writable-changed::${DISABLED_EXTENSIONS_KEY}`,
             this._onSettingsWritableChanged.bind(this));
 
-        this._enabledExtensions = this._getEnabledExtensions();
+        this._enabledExtensions = this._getEnabledExtensions(true);
+        this._userEnabledExtensions = this._getEnabledExtensions(false);
 
         let perUserDir = Gio.File.new_for_path(global.userdatadir);
         FileUtils.collectFromDatadirs('extensions', true, (dir, info) => {
@@ -514,8 +545,10 @@ var ExtensionManager = class {
         // property; it might make sense to make enabledExtensions independent
         // from allowExtensions in the future
         if (Main.sessionMode.allowExtensions) {
-            if (this._initted)
-                this._enabledExtensions = this._getEnabledExtensions();
+            if (this._initted) {
+                this._enabledExtensions = this._getEnabledExtensions(true);
+                this._userEnabledExtensions = this._getEnabledExtensions(false);
+            }
             this._enableAllExtensions();
         } else {
             this._disableAllExtensions();