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

Reply via email to