view/com.monkopedia.kodemirror.view/ViewUpdate

ViewUpdate

class ViewUpdate(val session: EditorSession, val state: EditorState, val transactions: List<Transaction>, val viewportChanged: Boolean = false, val heightChanged: Boolean = false, val focusChanged: Boolean = false)

Describes an update to the editor.

Created for every Transaction dispatched to EditorSession. Plugins receive this via PluginValue.update.

Constructors

constructor(session: EditorSession, state: EditorState, transactions: List<Transaction>, viewportChanged: Boolean = false, heightChanged: Boolean = false, focusChanged: Boolean = false)

Properties

val changes: ChangeSet

The combined set of document changes from all transactions in this update.

val docChanged: Boolean

Whether any transaction changed the document.

val focusChanged: Boolean

Whether the editor became focused or unfocused.

val heightChanged: Boolean

Whether the editor geometry (height/width) changed.

val reconfigured: Boolean

The state configuration changed (extensions were reconfigured).

val selectionSet: Boolean

Whether any transaction changed the selection.

val session: EditorSession

The session that was updated.

val startState: EditorState

The state before the transactions.

val state: EditorState

The new editor state (after the transactions).

val transactions: List<Transaction>

The transactions applied in this update (may be empty for view-only changes).

viewportChanged

val viewportChanged: Boolean

Whether the viewport or visible ranges changed.