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.

Fabian

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:
java.lang.NullPointerException
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at
java.desktop/sun.awt.windows.WInputMethod$1.run(WInputMethod.java:597)
5:02:39 PM [AWT-EventQueue-0] [error] AWT-EventQueue-0:  at
java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)

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.


	Makarius


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



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