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
