brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

extensionPrefs: Respect 'disable-extension-version-validation' setting

Browse Source
This commit is contained in:
Florian Müllner 2014-07-18 10:46:01 +02:00
parent 554001c0ed
commit d77c7a407c
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
js/extensionPrefs/main.js
View File

@ -54,15 +54,17 @@ const Application = new Lang.Class({
this._startupUuid = null; this._startupUuid = null;
this._loaded = false; this._loaded = false;
this._skipMainWindow = false; this._skipMainWindow = false;
this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell' });
}, },
_extensionAvailable: function(uuid) { _extensionAvailable: function(uuid) {
let extension = ExtensionUtils.extensions[uuid]; let extension = ExtensionUtils.extensions[uuid];
let checkVersion = !this._settings.get_boolean('disable-extension-version-validation');
if (!extension) if (!extension)
return false; return false;
if (ExtensionUtils.isOutOfDate(extension)) if (checkVersion && ExtensionUtils.isOutOfDate(extension))
return false; return false;
if (!extension.dir.get_child('prefs.js').query_exists(null)) if (!extension.dir.get_child('prefs.js').query_exists(null))