glok-model/uk.co.nickthecoder.glok.history/HistoryDocument

HistoryDocument

A document with a History, allowing undo and redo actions.

Implementing classes must ensure that they only mutate via the History mechanism. If you were to move, delete or add to the document directly then later, undo / redo would break.

Inheritors

HistoryDocumentBase

Properties

history

abstract val history: History

Functions

addListener

open fun addListener(lambda: (HistoryDocument, Change, Boolean) -> Unit): DocumentListener

abstract fun addListener(listener: DocumentListener): DocumentListener

addWeakListener

open fun addWeakListener(lambda: (HistoryDocument, Change, Boolean) -> Unit): DocumentListener

fireChange

abstract fun fireChange(change: Change, isUndo: Boolean)

removeListener

abstract fun removeListener(listener: DocumentListener)