Next: How The Buffer Handles Undo, Previous: Protocol Specification, Up: Undo Protocol
Application states have no explicit representation, only undo records do. The current state is a pointer to an undo record (meaning, the current state is BELOW the transition represented by the record) or to the undo tree itself if the current state is the initial state of the application.