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