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

delete

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