Codemirror: simultaneous calls to EditorView.update during blur

[fonsp]

Probably since #2540

Maybe we can fix #2518 at the same time, it seems related

[Pangoraw]

This is fixed in 9c052d3 too?

I updated codemirror in #2526 to get the diagnostics, but did not get this issue again.

[fonsp]

Ahh yes looks like this is probably outdated, go ahead with JuliaPluto/codemirror-pluto-setup@1b869d8 !

[fonsp]

Yeah I got it again while adding a cell:

[fonsp]

But the stacktrace looks helpful! Something related to the blur stuff, probably related to 9c052d3

[Pangoraw]

It's this dispatch which gets run during a CM update:

Pluto.jl/frontend/components/CellInput.js

Lines 645 to 652 in 06589c7

	// then it's caused by focusing something other than this cell in the editor.
	// in this case, we want to collapse the selection into a single point, for aesthetic reasons.
	view.dispatch({
	selection: {
	anchor: view.state.selection.main.head,
	},
	scrollIntoView: false,
	})

we can maybe do something like this to run the update in the next tick:

https://github.com/jupyter-lsp/jupyterlab-lsp/blob/3fb68dbab1ef52d1c3a65991755c2f24bf297bf7/packages/jupyterlab-lsp/src/features/highlights.ts#L155-L160

[fonsp]

Perfect I'll try that!

[fonsp]

that worked yay