in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [97:103]
override fun didChange(params: DidChangeTextDocumentParams) {
val vdmpp = documents[params.textDocument.uri]
if(vdmpp != null) {
vdmpp.textDocumentItem.text = params.contentChanges[0].text
vdmpp.updateVdmppFile()
}
}