replace

fun replace(from: DocPos, to: DocPos, text: String)
fun replace(from: DocPos, to: DocPos, text: Text)

Replace text from from to to with text.