editor instability

[JoernT]

One general thing we both noticed is that the editor was quite slow, maybe due to the currently smaller server capacities: Sometimes it didn't react to cursor clicks, when quite long text was pasted in the editor it didn't immediately indicate all the errors to fix, a number I entered in 'dating' was immediately deleted as soon as I clicked somewhere else, which happened several times until it finally stayed... but this will hopefully all be solved once we are back on the proper server.

i guess here it's a bit unclear what is actually meant - the editor being the jinn-codemirror? or the whole page? - in either case rather has nothing to do with the server right?

Originally posted by @JoernT in #67

[JoernT]

when quite long text was pasted in the editor

@tuurma , @wolfgangmm - these will likely be codemirror issues hitting limitations with larger documents, async linting etc. setting it into a blocked state - this will be hard to impossible to fix in our wrapper. Best thing is to block interaction with the component as long as its not settled to avoid further "call update while update runs" traps. Better ideas?

[tuurma]

@JoernT good idea to block, nevertheless we also need a reproducible test case for David and Francisca, otherwise we're only guessing

[JoernT]

exactly - would be good to have a sample document where they encounter this