document:  [Hello wrold]
after undo: [Hello]