makarius at sketis.net
Sat Oct 13 22:39:58 CEST 2018
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:
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
More information about the isabelle-dev