Resets the current undo state and creates a new UndoManager.
Returns true if there are redo operations left to perform.
Returns true if there are undo operations left to perform.
Returns if the current status is clean
Marks the current status clean
Optional rev: numberProvides a means for implementing your own undo manager. options has one property, args, an [[Array Array]], with two elements:
args[0] is an array of deltasargs[1] is the document to associate withOptional session: EditSessionGenerated using TypeDoc
This object maintains the undo stack for an [[EditSession
EditSession]].