Re: [isabelle-dev] jdk-11
On 13/10/2018 22:39, Makarius wrote: >> >> I've quickly tried openjdk-11 on Ubuntu 18.10 beta: the same low-grade >> font rendering. It is particularly bad in Isabelle/jEdit file-open dialog. > > Thanks to a useful hint by the "Felix von Leitner Institute for > distributed real-time Java" I've found the following alternative: > https://adoptopenjdk.net > > It looks much better on Linux, even with subpixel antialiasing. > > I will make a new component from it when the next Java 11 update is > released. Java 11.0.1 has been released by Oracle, but https://adoptopenjdk.net appears to have its own release scheme: it is still on jdk-11+28 from Aug-2018. So I have updated the jdk and jedit-build components right now: see Isabelle/f714114b0571. It should work smoothly on all platforms, even on macOS: I have updated the MacOSX plugin accordingly and bundled it with Isabelle as before (when that gets updated officially by the jEdit project, it might cause some confusion, though). The font-rendering of this OpenJDK version is quite different from what we've seen from Oracle since Java 7. The Isabelle font is a bit thinner than before, but sub-pixel rendering works better, especially on Linux. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] jdk-11
On 13/10/18 14:36, Makarius wrote: > On 13/10/18 11:37, Makarius wrote: >> >> * Degraded quality font-rendering on Linux. >> >> So with Isabelle/42504382f75b we are back to jdk-8u181, until Oracle >> finishes its job or we find some workarounds. > > I've quickly tried openjdk-11 on Ubuntu 18.10 beta: the same low-grade > font rendering. It is particularly bad in Isabelle/jEdit file-open dialog. Thanks to a useful hint by the "Felix von Leitner Institute for distributed real-time Java" I've found the following alternative: https://adoptopenjdk.net It looks much better on Linux, even with subpixel antialiasing. I will make a new component from it when the next Java 11 update is released. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] jdk-11
On 13/10/18 11:37, Makarius wrote: > > Here is another problem, which has been there for OpenJDK all the time, > but I did not notice on my fancy UHD display: > > * Degraded quality font-rendering on Linux. > > So with Isabelle/42504382f75b we are back to jdk-8u181, until Oracle > finishes its job or we find some workarounds. I've quickly tried openjdk-11 on Ubuntu 18.10 beta: the same low-grade font rendering. It is particularly bad in Isabelle/jEdit file-open dialog. In the past, OpenJDK often had a much better FreeType renderer, but now it seems to be closer to the official OpenJDK version provided by Oracle. This (re-)unification is a good thing, but until that version gets a proper font-renderer it is unusable. On Windows and macOS it works all fine. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] jdk-11
On 06/10/18 22:51, Makarius wrote: > Oracle has released Java 11 last week: it is the new long-term-support > (LTS) version for the next 3 years. Public support for Java 8 will stop > in Jan-2019. > > As of Isabelle/9dabb405a3ba we are on that version by default. > Here are some pending problems: > > * Apple Desktop integration does not work: > https://sourceforge.net/p/jedit/bugs/4068 > > This also means that COMMAND-Q switches the light off with a hammer: > unsaved buffers are not stored. > > * WARNING: Illegal reflective access by isabelle.Main$ > (file:/home/makarius/isabelle/repos/lib/classes/Pure.jar) to field > java.util.Collections$UnmodifiableMap.m > > This was my own unofficial way to implement putenv until Java 8. It > still happens to work, but I need to find a proper way. Here is another problem, which has been there for OpenJDK all the time, but I did not notice on my fancy UHD display: * Degraded quality font-rendering on Linux. So with Isabelle/42504382f75b we are back to jdk-8u181, until Oracle finishes its job or we find some workarounds. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] jdk-11
Oracle has released Java 11 last week: it is the new long-term-support (LTS) version for the next 3 years. Public support for Java 8 will stop in Jan-2019. As of Isabelle/9dabb405a3ba we are on that version by default. Due to changes in the licensing and packaging, we are on the official OpenJDK version provided by Oracle, see http://jdk.java.net/11 which also provides release notes etc. If there is a serious problem, it is still possible to switch back to Java 8 in $ISABELLE_HOME_USER/etc/settings like this: init_component "$HOME/.isabelle/contrib/jdk-8u181" Here are some pending problems: * Apple Desktop integration does not work: https://sourceforge.net/p/jedit/bugs/4068 This also means that COMMAND-Q switches the light off with a hammer: unsaved buffers are not stored. * WARNING: Illegal reflective access by isabelle.Main$ (file:/home/makarius/isabelle/repos/lib/classes/Pure.jar) to field java.util.Collections$UnmodifiableMap.m This was my own unofficial way to implement putenv until Java 8. It still happens to work, but I need to find a proper way. So many things have changed with Java 9/10/11, and more problems are to be expected. Please report any observations in the isabelle-dev mailing list. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev