Re: [isabelle] Isabelle2019-RC0: Fonts look blurry

On 09/04/2019 00:02, Bertram Felgenhauer via Cl-isabelle-users wrote:
> As Makarius wrote, this is a consequence of switching to OpenJDK.
> Oracle's JDK uses Bitstream's proprietary T2K font engine, whereas
> OpenJDK uses FreeType [1], which as far as I can discern simply does
> not support the super-agressive kind of hinting that T2K does on
> medium DPI displays.
> [1]
> [2]
> [3]
> [4]

Thanks indeed. These links shed some true light on this issue.

The mail thread from 2017-November refers to the need for "zero
differences between the OpenJDK and the Oracle JDK". My impression is
that Oracle did this in its commercial Java 11 already: i.e. the font
rendering is now like OpenJDK.

The original JDK sources are also interesting, but I do not have the
ambition to patch that (as I routinely do for the rather small jEdit


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.