From d77c7a407ccb063b1d68837e950de688f64c3a2c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 18 Jul 2014 10:46:01 +0200 Subject: [PATCH] extensionPrefs: Respect 'disable-extension-version-validation' setting --- js/extensionPrefs/main.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js index 586bad169..88e639acb 100644 --- a/js/extensionPrefs/main.js +++ b/js/extensionPrefs/main.js @@ -54,15 +54,17 @@ const Application = new Lang.Class({ this._startupUuid = null; this._loaded = false; this._skipMainWindow = false; + this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell' }); }, _extensionAvailable: function(uuid) { let extension = ExtensionUtils.extensions[uuid]; + let checkVersion = !this._settings.get_boolean('disable-extension-version-validation'); if (!extension) return false; - if (ExtensionUtils.isOutOfDate(extension)) + if (checkVersion && ExtensionUtils.isOutOfDate(extension)) return false; if (!extension.dir.get_child('prefs.js').query_exists(null))