Interface EditorEventTypes

Event types that can be received from an Editor.

Hierarchy

  • EditorEventTypes

Index

Properties

Properties

caret

caret: Event<Editor>

Fired when the editor caret (insertion point) changes position.

change

change: Event<Editor>

Fired when the document is mutated. Mutating the document from within a change listener will not trigger an additional event.

selection

selection: Event<Editor>

Fired when the document selection changes.

This API is still under development and is subject to change. Copyright © Math I Can Do Solutions Incorporated and/or its licensors.