Re: [isabelle] Isabelle2016-1-RC3: responsiveness of interrupting continuous checking



On 22/11/16 22:33, Mathias Fleury wrote:
> 
> I have seen the same behaviour.
> 
> After bisecting, the first commit with this issue is: 
>   http://isabelle.in.tum.de/reports/Isabelle/rev/9d2fae6b31cc

Thanks for trimming it down and making the bisection.

9d2fae6b31cc changes the overall timing of editing/painting, which
apparently leads into situations where the main editor input queue is
overloaded with events and thus requires very long to fire eventually.

In
https://bitbucket.org/isabelle_project/isabelle-release/commits/1aef5a0e18d7
I have added a dalay_first element to improve this, but it also changes
the overall timing behaviour PIDE. So it is important to keep an eye on
this within the few remaining weeks before the final release.

Right now it is possible to continue testing with the above repository
version, or with http://isabelle.in.tum.de/devel when updated in approx. 8h.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.