Re: [isabelle] RC2 for testing; Toplevel.timing has no affect anymore
On Thu, 10 Oct 2013, Gottfried Barrow wrote:
PINK SCREEN AFTER OPTIONS CHANGES
When I change any "Plugin Options" and then hit apply, the text will be
purple until I scroll the screen a little. When I'm having problems, and
turning the auto checkers on and off to see if they're causing the
problem, I can think the purple text after the option change is related
to the problems I'm having.
There is a more serious socket problem behind this, see also
I've spend 1-2 days looking through the socket implementation of Poly/ML
and Java/Scala and TCP/IP manual pages. It is still unclear what can be
done. The problem only manifests itself in relatively rare situations,
i.e. an empty edit following the options change, which explains why it was
not noticed before.
Another reason why it was overlooked is that people on isabelle-dev rarely
use Windows. But Linux and Mac OS X also have their own problems in
different departments. I reckon that the amount of issues and annoyances
is approximately equal on all 3 platforms now.
I hope to make Isabelle2013-1-RC3 tomorrow, probably without any change in
that corner. Then I am on vacation from 17-Oct..04-Nov. Afterwards comes
the final round for final lift-off of the Isabelle2013-1 release.
This archive was generated by a fusion of
Pipermail (Mailman edition) and