mirror of
https://github.com/microsoft/vscode.git
synced 2026-04-28 12:33:35 +01:00
Partial fix for #12798.
This commit is contained in:
@@ -5,6 +5,7 @@
|
||||
'use strict';
|
||||
|
||||
import * as path from 'path';
|
||||
import * as fs from 'fs';
|
||||
|
||||
import { workspace, TextDocument, TextDocumentChangeEvent, TextDocumentContentChangeEvent, Disposable } from 'vscode';
|
||||
import * as Proto from '../protocol';
|
||||
@@ -187,6 +188,9 @@ export default class BufferSyncSupport {
|
||||
this.diagnostics.delete(filepath);
|
||||
delete this.syncedBuffers[filepath];
|
||||
syncedBuffer.close();
|
||||
if (!fs.existsSync(filepath)) {
|
||||
this.requestAllDiagnostics();
|
||||
}
|
||||
}
|
||||
|
||||
private onDidChangeTextDocument(e: TextDocumentChangeEvent): void {
|
||||
|
||||
Reference in New Issue
Block a user