edition widgets: don't update too soon/too often
For instance when I'm using %expression
to edit an expression, and I change the context to lat<lan, lan>, zmin
, I get tons of intermediate errors that are painful to read, and worse yet, I get two context instantiations, because that bonehead saw lat<lan, lan>, z
first, and therefore compiles it first!
Likewise, when you enter an expression a|b + b|c
, you get many intermediate errors which are not useful.
So could you add some system to add a delay? Don't update immediately, buffer updates, and only when some time has passed, execute the last one. This should really improve interactivity.
And BTW, the message cannot generate LaTeX output
is useless, just leave it blank.
This is very urgent: I would like to use your work in a demo, but currently it's kinda painful to use.