[−][src]Module undo::history
A history of commands.
Structs
Builder | Builder for a History. |
Checkpoint | Wraps a history and gives it checkpoint functionality. |
Display | Configurable display formatting for history. |
History | A history of commands. |
Queue | Wraps a record and gives it batch queue functionality. |