Loading page…
Undo and redo for a text editor: edits as commands that carry their own exact inverse, two stacks with a bounded history, keystrokes grouped into word-sized steps, typing over a selection as one compound step, a new edit clearing redo, and the measured cost of snapshots instead: 5,014,950 characters against 100.
Type Hello world, and press control Z.