Email Gateway (Jan 10 2021 at 13:29): 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
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
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: Jul 15 2022 at 23:21 UTC