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

I still get them reliably. But, as I just realized, only when the Isabelle/jEdit window is maximized.


On 5/21/2019 10:59 PM, Makarius wrote:
On 17/05/2019 20:50, Makarius wrote:
On 14/05/2019 11:25, Fabian Immler wrote:
When I start Isabelle2019-RC2 on the Cygwin-Terminal (Windows 10), I see
lots of NullPointerExceptions like the following (all with the same trace).
It feels like their printing (?) makes the UI slightly less responsive.

Exception in thread "AWT-EventQueue-0"
5:02:35 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at

Strange. I have never seen anything like that -- testing on various
virtual and real Windows installations.

Now I did see this exception on a virtual Windows 10 installation, but
only once: it is not directly repeatable.


Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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