diff --git a/edit/lint.js b/edit/lint.js
index 8f1e3c5f..a6d90e50 100644
--- a/edit/lint.js
+++ b/edit/lint.js
@@ -392,6 +392,7 @@ function setupLinterPopup(rules) {
   contents.insertBefore(popup.codebox.display.wrapper, contents.firstElementChild);
   popup.codebox.focus();
   popup.codebox.setValue(rules);
+  popup.codebox.clearHistory();
   onDOMscripted(loadJSON).then(() => setJSONMode(popup.codebox));
   setupLinterSettingsEvents(popup);
 }