Create a selection from two positions.
Create a selection from coordinates.
a zero based line value
a zero based character value
a zero based line value
a zero based character value
Position of the cursor
Position where selection starts.
End position.
true
if start and end are equal
A selection is reversed if active.isBefore(anchor)
true
if start.line
and end.line
are equal
Start position.
Check other
equals this range.
a range
Derived a new range from this range.
A position that should be used as start. The default value is the current start.
A position that should be used as end. The default value is the current end.
A range derived from this range with the given start and end position.
If start and end are not different this
range will be returned.
Derived a new range from this range.
A range that reflects the given change. Will return this
range if the change
is not changing anything.
Represents a text selection in an editor.