Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2020-RC2: Font on Windows 10


view this post on Zulip Email Gateway (Aug 23 2022 at 08:31):

From: Jørgen Villadsen via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Thanks - the font is nice for RC3 on a FHD screen and on a UHD screen.

Jørgen
You have rediscovered a problem of current OpenJDK 11.0.6 that was already
marked as "resolved" and "backported" here:

https://bugs.openjdk.java.net/browse/JDK-8217731
https://bugs.openjdk.java.net/browse/JDK-8230316

The same happens for latest Adopt OpenJDK 14+36.

What is odd about it: earlier versions before the "fix" don't have it. So we
are now back to Adopt OpenJDK 11.0.5:

https://isabelle.sketis.net/repos/isabelle-release/rev/0f98a7c366ed

There is formally no need to be on "latest" versions, unless there is really
something wrong with older ones.

We are only missing many small changes according
https://adoptopenjdk.net/release_notes.html?variant=openjdk11&jvmVariant=hotspot

Makarius

view this post on Zulip Email Gateway (Aug 23 2022 at 08:45):

From: Jørgen Villadsen via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Dear all

Compared to Isabelle2019, the font for the panels - like "Symbols" in the image - is not as nice.

This is on a FHD screen. On a UHD screen it is a little better. Any suggestions?

Best regards, Jørgen

[cid:784d3ba7-0402-4883-9206-436957c199d9]
pastedImage.png

view this post on Zulip Email Gateway (Aug 23 2022 at 08:46):

From: Makarius <makarius@sketis.net>
You have rediscovered a problem of current OpenJDK 11.0.6 that was already
marked as "resolved" and "backported" here:

https://bugs.openjdk.java.net/browse/JDK-8217731
https://bugs.openjdk.java.net/browse/JDK-8230316

The same happens for latest Adopt OpenJDK 14+36.

What is odd about it: earlier versions before the "fix" don't have it. So we
are now back to Adopt OpenJDK 11.0.5:

https://isabelle.sketis.net/repos/isabelle-release/rev/0f98a7c366ed

There is formally no need to be on "latest" versions, unless there is really
something wrong with older ones.

We are only missing many small changes according
https://adoptopenjdk.net/release_notes.html?variant=openjdk11&jvmVariant=hotspot

Makarius


Last updated: Mar 29 2024 at 04:18 UTC