override fun didClose()

in src/main/kotlin/com/github/korosuke613/vdmppLanguageServer/FullTextDocumentService.kt [105:108]


    override fun didClose(params: DidCloseTextDocumentParams) {
        val uri = params.textDocument.uri
        documents.remove(uri)
    }