diff --git a/edit/lint.js b/edit/lint.js index 8c9622f2..7ac4dd9c 100644 --- a/edit/lint.js +++ b/edit/lint.js @@ -159,8 +159,10 @@ function updateLinter({immediately, linter = linterConfig.getDefault()} = {}) { } const GUTTERS_CLASS = 'CodeMirror-lint-markers'; - Promise.all([linterConfig.init(), loadLinterAssets(linter)]) - .then(updateEditors); + Promise.all([ + linterConfig.init(), + loadLinterAssets(linter) + ]).then(updateEditors); $('#linter-settings').style.display = !linter ? 'none' : 'inline-block'; $('#lint').style.display = 'none';