Closed rtbo closed 1 year ago
textDocument/didOpen was not sent anymore by VS code since #320
textDocument/didOpen
hm weird that shouldn't happen, but I don't see any downsides in including this anyway, so I think it's fine to merge this.
textDocument/didOpen
was not sent anymore by VS code since #320