EditorSelection

An editor selection holds one or more selection ranges.

Types

Get the primary selection range.

The index of the main range in the selection (which is usually the range that was added last).

The ranges in the selection, sorted by position. Ranges cannot overlap (but they may touch, if they aren't empty).

Extend this selection with an extra range.

Make sure the selection only has one range.

Compare this selection to another selection, optionally including cursor association.

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

Map a selection through a change. Used to adjust the selection position for changes.

Replace a given range with another range, and then normalize the selection to merge and sort ranges if necessary.

Convert this selection to a serializable EditorSelectionData.

Convert this selection to a JSON object.