From d2f364c6099d82113f03c887d05c4ba6211942c5 Mon Sep 17 00:00:00 2001
From: narcolepticinsomniac <sleepwalkingnarcolepticinsomniac@outlook.com>
Date: Tue, 14 Feb 2017 17:42:27 -0500
Subject: [PATCH] Default disabled badge changed to hex for color-picker
 compatibility

---
 storage.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/storage.js b/storage.js
index e02fe8f0..b30fd084 100644
--- a/storage.js
+++ b/storage.js
@@ -349,7 +349,7 @@ var prefs = chrome.extension.getBackgroundPage().prefs || new function Prefs() {
 		"editor.lintDelay": 500,        // lint gutter marker update delay, ms
 		"editor.lintReportDelay": 4500, // lint report update delay, ms
 
-		"badgeDisabled": "darkred",     // badge background color when disabled
+		"badgeDisabled": "#8B0000",     // badge background color when disabled
 		"badgeNormal": "#006666",       // badge background color
 
 		"updateInterval": 12            // user-style automatic update interval, hour