saveFile method

void saveFile(
  1. String filePath
)

Notify file save (sends textDocument/didSave).

Implementation

void saveFile(String filePath) {
  final serverName = _openFiles[filePath];
  if (serverName == null) return;

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