public override Task <Unit> Handle(DidCloseTextDocumentParams notification, CancellationToken token)
{
// Find and close the file in the current session
var fileToClose = _workspaceService.GetFile(notification.TextDocument.Uri);
if (fileToClose != null)
{
_workspaceService.CloseFile(fileToClose);
_analysisService.ClearMarkers(fileToClose);
}
_logger.LogTrace("Finished closing document.");
return(Unit.Task);
}