Re: [isabelle] Isabelle2014-RC3: mouse offset and C-hover issue

On Thu, 14 Aug 2014, Christian Sternagel wrote:

with RC3 I have the "offset-issue" again.

This time, and I think that is a first, this also impacts Ctrl-hover however. Also the wmname trick as e.g. mentioned in

does not help anymore.

This looks like another episode of the cheap daily-soap "Oracle versus X11 Window manager forks".

With Isabelle2013-2 this issue does not occur (after using the wmname trick). I did not check with RC1 or RC2 since I did not have them readily available on my machine.

It should be just a matter of Java versions. The Isabelle2014-RC versions use jdk-7u60 or jdk-7u65. In Isabelle2013-2 it was jdk-7u40.

You may also try different ones from using the normal Isabelle init_component setup that you probably know (as explained in the "system" manual).

jdk-8u5 and jdk-8u11 might be worth trying, but note that the Java 8 releases are officially stable and de-facto still experimental.


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