diff --git a/edit/edit.js b/edit/edit.js index 35f4b9d1..1f997dba 100644 --- a/edit/edit.js +++ b/edit/edit.js @@ -1227,8 +1227,7 @@ function initWithStyle({style, codeIsUpdated}) { if (CodeMirror.lint) { setTimeout(() => { cm.setOption('lint', CodeMirror.defaults.lint); - // update lint issue table after a short delay - updateLintReport(cm, 200); + updateLintReport(cm, 0); }, prefs.get('editor.lintDelay')); } }