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:

• https://github.com/jupyterlab/jupyterlab/issues/15102
• https://github.com/jupyter-server/jupyter_ydoc/issues/240

[kuraga]

Ok, thanks!