Page MenuHomeIsabelle/Phabricator
Create Task
Maniphest T32

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

Description

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.

Related Objects

Event Timeline

makarius triaged this task as Normal priority.Nov 7 2020, 4:00 PM
makarius created this task.
makarius added a comment.Nov 30 2020, 1:17 PM

Is Isabelle/21ff9c1a4644 good enough?

makarius added a comment.Dec 18 2020, 11:25 AM

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

makarius moved this task from Backlog to TODO on the isabelle-release board.Dec 18 2020, 11:51 AM
makarius moved this task from TODO to Backlog on the isabelle-release board.
makarius moved this task from Backlog to TODO on the isabelle-release board.Dec 18 2020, 11:54 AM
makarius closed this task as Resolved.Jan 9 2021, 1:17 AM
makarius claimed this task.

Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.