public override async Task DidCloseTextDocument(DidCloseTextDocumentParams @params) { var doc = GetEntry(@params.textDocument.uri) as IDocument; if (doc != null) { // No need to keep in-memory buffers now doc.ResetDocument(-1, null); // Pick up any changes on disk that we didn't know about EnqueueItem(doc, AnalysisPriority.Low); } }
public override Task DidCloseTextDocument(DidCloseTextDocumentParams @params) { ThrowIfDisposed(); _editorFiles.Close(@params.textDocument.uri); var doc = ProjectFiles.GetEntry(@params.textDocument.uri) as IDocument; if (doc != null) { // No need to keep in-memory buffers now doc.ResetDocument(-1, null); // Pick up any changes on disk that we didn't know about EnqueueItem(doc, AnalysisPriority.Low); } return(Task.CompletedTask); }
public virtual Task DidCloseTextDocument(DidCloseTextDocumentParams @params) => Task.CompletedTask;
public virtual async Task DidCloseTextDocument(DidCloseTextDocumentParams @params) { }