public override Task <Unit> Handle(DidCloseTextDocumentParams notification, CancellationToken cancellationToken)
{
_logger.LogTrace("received close notification {}", notification.TextDocument.Uri);
var document = _documents.CloseDocument(notification.TextDocument);
if (document != null)
{
_diagnosticPublisher.HideDiagnostics(document);
}
return(Unit.Task);
}
