Hi,
I’ve looked through the API documentation, but I don’t see a way to close an open TextDocument. Is there something I’m missing, or is that not currently possible?
Hi,
I’ve looked through the API documentation, but I don’t see a way to close an open TextDocument. Is there something I’m missing, or is that not currently possible?
Good question @jonathanpike. If you are missing something, I am too. I don’t see any way to do this either. It seems like there should be a close method in the TextEditor object.
@Logan Can you add this as a feature request for the extensions API going forward? I noticed that version 4 added the ability to open a new, untitled document, so I’m assuming that this is a possible request.
Hello! Yes, this is definitely something we can track for the extension API.
Awesome, that’s great news!