From e4aff7f73fcaed74b4b283144f3f15a08ff40d96 Mon Sep 17 00:00:00 2001 From: Wolvan Date: Sat, 12 Dec 2015 22:37:51 +0100 Subject: [PATCH] Make Gist show disabled extensions The exported extension list Gist now marks disabled extensions with a `(disabled)` suffix --- Extensions/xkit_preferences.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Extensions/xkit_preferences.js b/Extensions/xkit_preferences.js index 7a91a60f8..4dc6416e4 100644 --- a/Extensions/xkit_preferences.js +++ b/Extensions/xkit_preferences.js @@ -1,5 +1,5 @@ //* TITLE XKit Preferences **// -//* VERSION 7.2.0 **// +//* VERSION 7.3.0 **// //* DESCRIPTION Lets you customize XKit **// //* DEVELOPER new-xkit **// @@ -2212,7 +2212,7 @@ XKit.extensions.xkit_preferences = new Object({ var text = "XKit version "+XKit.version+"\n"+ "extensions:\n"+XKit.installed.list().map(function(i){ - return " "+i+": "+XKit.installed.version(i); + return " " +i+ ": "+XKit.installed.version(i) + (XKit.installed.enabled(i) ? "" : " (disabled)"); }).join("\n"); update_button($(this), text);