You can now undo entering single characters, or many characters while typing fast.

Might be a controversial change, so I'm putting this in a separate pull request.