History manager API overview
History manager methods overview
| Name | Description |
|---|---|
| add() | Adds a new state |
| disable() | Blocks HistoryManager |
| enable() | Restarts the work of HistoryManager, saving the current state as initial state |
| isRedo() | Checks whether an action reverted by the Undo action has been restored |
| isUndo() | Checks whether an action has been reverted |
| redo() | Restores an action that has been reverted by the Undo action |
| reset() | Resets previous changes and saves the current state |
| undo() | Reverts the last action in the Diagram Editor |