Re: [isabelle] Isabelle2019-RC2 NullPointerException on Cygwin-Terminal (Windows 10)

Am 22.05.2019 um 07:58 schrieb Fabian Immler:
> I still get them reliably. But, as I just realized, only when the
> Isabelle/jEdit window is maximized.

I am getting the same exception. It seems to occur reliably when the
Isabelle window is resized or moved, but also very often when it obtains


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