didClose method

void didClose(
  1. String uri
)

Closes uri; the server clears its diagnostics.

Implementation

void didClose(String uri) {
  sendNotification('textDocument/didClose', {
    'textDocument': {'uri': uri},
  });
}