insert

fun insert(pos: DocPos, text: String)

Insert text at the given position.


fun insert(pos: DocPos, text: Text)

Insert a Text at the given position.