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
focus.

Alex




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