On "Undo" action, scroll to cursor position

[kuraga]

Problem

On the "Find" action, the browser scrolls to the found position. (So we can do it.)

On the "Undo" action, the browser doesn't scroll to the cursor-after-undo position.

Proposed Solution

On the "Undo" action, scroll to the cursor-after-undo position.

Additional context

Just imagine the cell is big...

[krassowski]

This is tracked in:

• File Editor does not scroll on undo/redo jupyterlab/jupyterlab#15102
• Undo/redo does not scroll to selection jupyter-server/jupyter_ydoc#240

[kuraga]

Ok, thanks!