Editing history manager. Consists of two stacks: undo and redo history. New states clear redo history, are added to undo history. It's possible for current state to be undefined, in which case the app should load some default state.
A new state produced by something other than undo or redo.
moves current state into undo, pops redo onto current state
moves current state into redo, pops undo onto current state
Generated using TypeDoc
Editing history manager. Consists of two stacks: undo and redo history. New states clear redo history, are added to undo history. It's possible for current state to be undefined, in which case the app should load some default state.