glok-core/uk.co.nickthecoder.glok.text/TextDocument/delete

delete

fun delete(from: TextPosition, to: TextPosition, allowMerge: Boolean = false)