Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit


view this post on Zulip Email Gateway (Jan 10 2021 at 13:29):

From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>
Dear all,

for me it looks like there is a font problem in Isabelle 2021-RC1:
in the jEdit-shortcuts-editor the icons for “control” and “command”
are not displayed correctly.

Attached two small screenshots to illustrate the problem.
(Isabelle2019 and Isabelle2021-RC1)

Best,
René

PS: Both Isabelle systems (2019 and 2021-RC1) have been installed from scratch without any adjustments in the directories ~/.isabelle/Isabelle20xx
Both screenshots were taken under macOS Catalina (10.15.7), and the problems is also visible in Big Sur.

[cid:FCEE37E7-4CC7-413D-803C-39CD41A71F25@home][cid:E2E369F4-3405-4A5D-BB58-FDA5B0AB00F9@home]
Isabelle 2019 shortcuts.png
Isabelle 2021-RC1 shortcuts.png

view this post on Zulip Email Gateway (Jan 10 2021 at 16:05):

From: Makarius <makarius@sketis.net>
Starting with Catalina, Apple has moved the platform onto windy islands,
making life much harder for applications.

Luckily, all known GUI problems just disappear with the new FlatLAF
look-and-feel, which is already active by default in Isabelle2021-RC2.

See also https://www.formdev.com/flatlaf --- the current version is numbered
rather modestly as 0.46, but that is already quite well-done and stable.

In contrast, the system look-and-feels of OpenJDK (GTK+, Windows, macOS Aqua)
are more and more falling into decay.

I was briefly considering to switch back to good old "Metal" by default, when
I found this great new project.

Makarius

view this post on Zulip Email Gateway (Jan 11 2021 at 17:53):

From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>

Luckily, all known GUI problems just disappear with the new FlatLAF
look-and-feel, which is already active by default in Isabelle2021-RC2.

Thanks for the clarification. I can confirm that the problem vanished with Isabelle 2021-RC2.

Best,
René


Last updated: Sep 25 2021 at 09:17 UTC