Eraser, undo, and redo