Page MenuHomeIsabelle/Phabricator
Create Task
Maniphest T33

Update to jdk-11.0.10, notably for macOS Big Sur
Closed, ResolvedPublic
Actions

Description

The next OpenJDK update is scheduled for 19-Jan-2021, still in time for the Isabelle2021 release deadline.

This might be relevant for macOS Big Sur: various fine points with the GUI L&F need to be sorted out by the OpenJDK project.

Related Objects

Event Timeline

makarius triaged this task as Normal priority.Nov 30 2020, 3:08 PM
makarius created this task.
makarius added a comment.Dec 18 2020, 11:23 AM

An alternative is to switch to jdk-15 ("medium term support"), provided by Azul/Zulu.

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 added a comment.Dec 27 2020, 1:26 PM

For improved portability (also for arm64-darwin) it might be better to exchange the app launcher as well, using a plain shell script instead of native executable.

How does this affect file associations, drag-and-drop onto the application etc.?

makarius added a comment.Jan 1 2021, 4:46 PM

See also OpenJDK 16 development items:

makarius added a comment.Jan 1 2021, 4:53 PM

Full-screen problem: https://bugs.openjdk.java.net/browse/JDK-8256465

makarius closed this task as Resolved.Jan 7 2021, 2:02 PM
makarius claimed this task.