Enable linting in newly created styles

2017-05-17 06:15:43 +03:00 · 2017-05-17 06:15:43 +03:00 · ebd6b54e45
commit ebd6b54e45
parent bc63eccaa9
1 changed files with 1 additions and 0 deletions
--- 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();