It would be great if you could undo a deletion in your typing.