[Yutaka Emura]

I have tried this before in certain versions, but some users didn’t want the cursor position restored after REDO. We might think about that more carefully.