Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface CaretChange

An event generated when the caret changes.

Hierarchy

  • CaretChange

Index

Properties

caret

caret: DLoc | undefined

The new caret.

manager

manager: CaretManager

The manager from which the event originates.

mode

mode: Mode | undefined

The mode at which the current caret is located.

options

The change options.

prevCaret

prevCaret: DLoc | undefined

The previous caret value before the change.

prevMode

prevMode: Mode | undefined

The previous mode in effect before the change.

Generated using TypeDoc