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

replace

fun replace(from: Int, to: Int, text: String)