Page MenuHomeIsabelle/Phabricator

Font rendering quality in OpenJDK 11 vs. 13
Open, LowPublic


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.