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



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




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