Module undo::history

A history tree of edit commands.

Structs

• Builder
  Builder for a History.
• Checkpoint
  Wraps a History and gives it checkpoint functionality.
• Display
  Configurable display formatting for the History.
• History
  A history tree of Edit commands.
• Queue
  Wraps a History and gives it batch queue functionality.