Clear linter config history

This commit is contained in:
Rob Garrison 2017-08-26 10:29:33 -05:00
parent ef197bcd58
commit b00d9575f8

View File

@ -392,6 +392,7 @@ function setupLinterPopup(rules) {
contents.insertBefore(popup.codebox.display.wrapper, contents.firstElementChild); contents.insertBefore(popup.codebox.display.wrapper, contents.firstElementChild);
popup.codebox.focus(); popup.codebox.focus();
popup.codebox.setValue(rules); popup.codebox.setValue(rules);
popup.codebox.clearHistory();
onDOMscripted(loadJSON).then(() => setJSONMode(popup.codebox)); onDOMscripted(loadJSON).then(() => setJSONMode(popup.codebox));
setupLinterSettingsEvents(popup); setupLinterSettingsEvents(popup);
} }