InputEdit

data class InputEdit(val startByte: UInt, val oldEndByte: UInt, val newEndByte: UInt, val startPoint: Point, val oldEndPoint: Point, val newEndPoint: Point)(source)

An edit to a text document.

Constructors

constructor(startByte: UInt, oldEndByte: UInt, newEndByte: UInt, startPoint: Point, oldEndPoint: Point, newEndPoint: Point)

@get:JvmName(name = "newEndByte")

@get:JvmName(name = "newEndPoint")

@get:JvmName(name = "oldEndByte")

@get:JvmName(name = "oldEndPoint")

@get:JvmName(name = "startByte")

@get:JvmName(name = "startPoint")