glok
Toggle table of contents
common
Platform filter
common
Switch theme
Search in API
glok
glok-core
/
uk.co.nickthecoder.glok.text
/
StyledTextDocument
/
removeRangeChange
remove
Range
Change
fun
removeRangeChange
(
range
:
HighlightRange
)
:
RemoveRange
Returns a
StyledTextChange
which remove a range on redo, and adds it again on undo.