Changes for PR #30

This commit is contained in:
Alex Dima 2019-03-04 15:09:02 +01:00
parent 6c73d7f708
commit 6b2271c1c1
9 changed files with 128 additions and 181 deletions

View file

@ -134,15 +134,16 @@ export class DiagnostcsAdapter extends Adapter {
}
}
});
const redoDiagosticsCallback = () => {
const recomputeDiagostics = () => {
// redo diagnostics when options change
for (const model of monaco.editor.getModels()) {
onModelRemoved(model);
onModelAdd(model);
}
};
this._disposables.push(this._defaults.onDidChange(redoDiagosticsCallback));
this._disposables.push(this._defaults.onDidExtraLibsChange(redoDiagosticsCallback));
this._disposables.push(this._defaults.onDidChange(recomputeDiagostics));
this._disposables.push(this._defaults.onDidExtraLibsChange(recomputeDiagostics));
monaco.editor.getModels().forEach(onModelAdd);
}