Fix: enable linter after processing metadata (#1018)

This commit is contained in:
eight 2020-08-17 21:06:52 +08:00 committed by GitHub
parent 7d93608186
commit a0172c262c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -50,10 +50,10 @@ function createSourceEditor({style, onTitleChanged}) {
updateMeta(); updateMeta();
}); });
linter.enableForEditor(cm);
updateMeta().then(() => { updateMeta().then(() => {
linter.enableForEditor(cm);
let prevMode = NaN; let prevMode = NaN;
cm.on('optionChange', (cm, option) => { cm.on('optionChange', (cm, option) => {
if (option !== 'mode') return; if (option !== 'mode') return;