edit does not have undo option Reproducible: Always Steps to Reproduce: 1. Highlight 2. Try to undo 3.
3. I press undo, all is good. You're probably using a very old version of okular but we can't know since you didn't specify it.