[gnome-shell] extensionPrefs: Remove version check from extensionAvailable()
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] extensionPrefs: Remove version check from extensionAvailable()
- Date: Sat, 6 Sep 2014 20:24:30 +0000 (UTC)
commit d209bc69b6c71e463816a03b41cb6522e4082365
Author: Florian Müllner <fmuellner gnome org>
Date: Sat Sep 6 17:21:52 2014 +0200
extensionPrefs: Remove version check from extensionAvailable()
It is confusing to treat outdated extensions as if they didn't exist
in some places, but like any other extensions elsewhere. In particular
gnome-tweak-tool still allows to launch prefs for them while making
it clear to users that the extension will not work - opening the
list of installed extensions in that case is unexpected and confusing.
Just remove the version check for now, we will soon follow tweak-tool
and use it to disable the extension switch instead.
https://bugzilla.gnome.org/show_bug.cgi?id=736185
js/extensionPrefs/main.js | 4 ----
1 files changed, 0 insertions(+), 4 deletions(-)
---
diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index 88e639a..f56e5b6 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -59,14 +59,10 @@ const Application = new Lang.Class({
_extensionAvailable: function(uuid) {
let extension = ExtensionUtils.extensions[uuid];
- let checkVersion = !this._settings.get_boolean('disable-extension-version-validation');
if (!extension)
return false;
- if (checkVersion && ExtensionUtils.isOutOfDate(extension))
- return false;
-
if (!extension.dir.get_child('prefs.js').query_exists(null))
return false;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]