Reading ySyncFacet dynamically. about y-codemirror.next HOT 2 OPEN

This should work when you create a compartment of all the y-codemirror plugins, right? Just a quick fix.

Ideally, it should be possible to create a compartment of only the facet. I'll investigate how much effort this would take.

from y-codemirror.next.

This should work when you create a compartment of all the y-codemirror plugins, right? Just a quick fix.

I think so. Jupyterlab uses compartment to dynamically change codemirror plugins, including configurations like language, them, tab size and so on.

• https://github.com/jupyterlab/jupyterlab/blob/master/packages/codemirror/src/editorconfiguration.ts

Additionally, in the documentaion:

Facet values are only recomputed when necessary, so you can use an object or array identity test to cheaply check whether a facet changed.

So it is safe (no performance degradation) not to cache the facet output value.

from y-codemirror.next.