closeFile method

void closeFile(
  1. String filePath
)

Close a file (sends textDocument/didClose).

Implementation

void closeFile(String filePath) {
  final serverName = _openFiles.remove(filePath);
  if (serverName == null) return;

  _fileVersions.remove(filePath);
  _servers[serverName]?.sendNotification('textDocument/didClose', {
    'textDocument': {'uri': _fileUri(filePath)},
  });
}