Make sure we always re-queue a diagnostic request after changing documents

This commit is contained in:
Matt Bierner
2018-06-14 00:24:52 -07:00
parent ecc8f40200
commit dfc4d75c1a

View File

@@ -243,6 +243,10 @@ export default class BufferSyncSupport {
if (this.pendingGetErr) {
this.pendingGetErr.token.cancel();
this.pendingGetErr = undefined;
this.diagnosticDelayer.trigger(() => {
this.sendPendingDiagnostics();
}, 200);
}
}