From c7e811198f975c8a6c91e259398f905e5fb2c5c4 Mon Sep 17 00:00:00 2001 From: Simon Kornblith Date: Mon, 12 Nov 2012 15:39:40 -0500 Subject: [PATCH] Include disabled extensions, but note that they are disabled and sort them to the end --- chrome/content/zotero/xpcom/zotero.js | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/chrome/content/zotero/xpcom/zotero.js b/chrome/content/zotero/xpcom/zotero.js index f5c8cf3c3..3338e7b9c 100644 --- a/chrome/content/zotero/xpcom/zotero.js +++ b/chrome/content/zotero/xpcom/zotero.js @@ -1257,9 +1257,12 @@ const ZOTERO_CONFIG = { */ this.getInstalledExtensions = function(callback) { function onHaveInstalledAddons(installed) { + installed.sort(function(a, b) { + return ((a.appDisabled || a.userDisabled) ? 1 : 0) - + ((b.appDisabled || b.userDisabled) ? 1 : 0); + }); var addons = []; for each(var addon in installed) { - if(addon.appDisabled || addon.userDisabled) continue; switch (addon.id) { case "zotero@chnm.gmu.edu": case "{972ce4c6-7e08-4474-a285-3208198ce6fd}": // Default theme @@ -1267,7 +1270,9 @@ const ZOTERO_CONFIG = { } addons.push(addon.name + " (" + addon.version - + (addon.type != 2 ? ", " + addon.type : "") + ")"); + + (addon.type != 2 ? ", " + addon.type : "") + + ((addon.appDisabled || addon.userDisabled) ? ", disabled" : "") + + ")"); } callback(addons); }