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)
{
}
