Page MenuHomeIsabelle/Phabricator

Odd font rendering problem with jdk-11.0.9 on Windows
Closed, ResolvedPublic


The button fonts with Windows L&F looks strange (e.g. handles on dockables in Isabelle/jEdit), see Isabelle/99da14fa28b8.

This problem showed up first in jdk-11.0.6, and was the reason to ship Isabelle2020 with jdk-11.0.5, see Isabelle/73d1dc57215f.

Isabelle2021 will use jdk-11.0.9 (or later), so this needs to be addressed somehow.

Event Timeline

makarius triaged this task as Normal priority.Nov 7 2020, 4:00 PM
makarius created this task.

Isabelle/21ff9c1a4644 is not sufficient. Its needs reconsideration, e.g. by patching jEdit.

makarius moved this task from TODO to Backlog on the isabelle-release board.
makarius claimed this task.

Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.