diff --git a/edit.js b/edit.js
index 7603c7f6..dbbedf18 100644
--- a/edit.js
+++ b/edit.js
@@ -1133,6 +1133,7 @@ function init() {
 		window.onload = () => {
 			window.onload = null;
 			addSection(null, section);
+			editors[0].setOption('lint', CodeMirror.defaults.lint);
 			// default to enabled
 			document.getElementById("enabled").checked = true
 			initHooks();