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