Re: [isabelle] Isabelle2015-RC0 available for testing

On Sun, 12 Apr 2015, C. Diekmann wrote:

Any problems, observations etc. can be discussed here on the mailing list.
Quite often a change of behaviour is perceived as a problem, and sometimes
it is one, sometimes not.  In any case, open discussion helps to figure out
what is potentially confusing to users.

jEdit crashed (stopped responding to anything).

It would be interesting to know in which sense jEdit locked up. Sometimes there is just a deadlock on the GUI thread. Sometimes the JVM is blocked in a way that it requires a kill -9; jps and jconsole might help to guess in the right direction.

For example, I routinely get the following GUI lock-up on Xubuntu 14.10 with GTK look-and-feel: if Isabelle/jEdit is started up and its main window de-focused before it is fully there, it will never get back to a normal state, where user input is possible. It might be a fundamental problem of the unsupported XFCE window manager together with the almost unsupported GTK L&F, but I need the latter to get proper GUI scaling for my brand-new 4K display -- the newer Nimbus L&F can't do that.

Java/AWT on Linux is not the best combination -- we know this already for approx. 3 years. Even though I am mostly Linux user myself, it is only a secondary platform for fancy GUI and IDE stuff. Mac OS X and Windows work much better in many respects.


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