A simple undo manager demo