コード例 #1
0
 private async Task CloseDocumentAndHideDiagnosticsAsync(TextDocumentIdentifier documentId)
 {
     try {
         await documents.CloseDocumentAsync(documentId);
     } catch (Exception e) {
         logger.LogError(e, "error while closing the document");
     }
     diagnosticPublisher.HideDiagnostics(documentId);
 }