Text undo that doesn't lose your edit history