A text editor with an unusual undo/redo algorithm