Page MenuHomeIsabelle/Phabricator
Create Task
Maniphest T10

Font rendering quality in OpenJDK 11 vs. 17
Open, LowPublic
Actions

Description

Font rendering in OpenJDK is based on FreeType.

In OpenJDK 11 the quality is relatively bad on low-resolution displays (non UHD).

In OpenJDK 13 rendering is again better for special fonts, e.g. "DejaVu", but "Isabelle DejaVu" is unchanged.

Maybe there is some hidden configuration somewhere that can be tweaked to treat the Isabelle fonts like regular DejaVu?

Event Timeline

makarius triaged this task as Low priority.Jan 16 2020, 12:08 PM
makarius created this task.
makarius added a comment.Oct 19 2021, 10:31 PM

Isabelle2021-1 (December 2021) will use Java 17, but the font situation appears to be unchanged.

makarius renamed this task from Font rendering quality in OpenJDK 11 vs. 13 to Font rendering quality in OpenJDK 11 vs. 17.Oct 19 2021, 10:31 PM