open_text_document_async

Description:

public async void open_text_document_async (Uri uri, LanguageId language_id, string? text = null) throws Error

Opens a file, sending the `textDocument/didOpen` message to the language server. If the file is already open, this does nothing.

text	if non-null, this means that `uri` is associated with an in-memory buffer `text`