Remove extra delay
It appears to no longer be an issue
This commit is contained in:
parent
29851a8de9
commit
7c5b4c2bcf
|
@ -1227,8 +1227,7 @@ function initWithStyle({style, codeIsUpdated}) {
|
||||||
if (CodeMirror.lint) {
|
if (CodeMirror.lint) {
|
||||||
setTimeout(() => {
|
setTimeout(() => {
|
||||||
cm.setOption('lint', CodeMirror.defaults.lint);
|
cm.setOption('lint', CodeMirror.defaults.lint);
|
||||||
// update lint issue table after a short delay
|
updateLintReport(cm, 0);
|
||||||
updateLintReport(cm, 200);
|
|
||||||
}, prefs.get('editor.lintDelay'));
|
}, prefs.get('editor.lintDelay'));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user