close_text_document_async


Description:

public async void close_text_document_async (Uri uri) throws Error

Closes a file, sending the `textDocument/didClose` message to the language server. If the file is not open, this does nothing.