[isabelle-dev] jdk-11

[Makarius]

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