public override async Task <Unit> Handle(DidSaveTextDocumentParams notification, CancellationToken cancellationToken) { _logger.LogTrace("received save notification {}", notification.TextDocument.Uri); var document = await _documents.SaveDocumentAsync(notification.TextDocument, cancellationToken); if (document != null) { _diagnosticPublisher.PublishDiagnostics(document, cancellationToken); } return(Unit.Value); }
public override Task <Unit> Handle(DidSaveTextDocumentParams notification, CancellationToken cancellationToken) { logger.LogTrace("received save notification {DocumentUri}", notification.TextDocument.Uri); HandleUpdateAndPublishDiagnosticsAsync(documents.SaveDocumentAsync(notification.TextDocument)); return(Unit.Task); }