Replaces the whole content of an open uri with text.
uri
text
void change(String uri, String text) { final version = (_versions[uri] ?? 0) + 1; _versions[uri] = version; _client.didChange(uri, text, version: version); }