You can shake/three-finger-swipe to undo deletions, though it’s not very obvious.