Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Another Issue with Isabelle/jEdit with macOS B...


view this post on Zulip Email Gateway (Nov 19 2020 at 16:31):

From: Lawrence Paulson <lp15@cam.ac.uk>
A minor issue with Big Sur (both the 2020 and development versions) is as seen in the screenshot below. Highlighted buttons, which ought to appear in a reverse video style, are instead barely legible.

Larry

view this post on Zulip Email Gateway (Nov 19 2020 at 16:40):

From: Makarius <makarius@sketis.net>
I don't see the screenshot.

Makarius

view this post on Zulip Email Gateway (Nov 19 2020 at 16:42):

From: Lawrence Paulson <lp15@cam.ac.uk>
Looks like Mailman has stripped out the attachments. But here is a dropbox link:

https://www.dropbox.com/s/ck0qgj5id04x3i2/big%20sur%20issue.png?dl=0

Larry

Larry

view this post on Zulip Email Gateway (Nov 20 2020 at 10:59):

From: Makarius <makarius@sketis.net>
I have now spent some hours to install Big Sur on my feeble Mac mini: it
generally looks a bit strange, but that is probably how it has to be.

Concerning GUI rendering in Java Swing, I see many small things that still
need to be done by the OpenJDK project: the situation is the same for stable
Java 11 vs. latest Java 15 (both released in Oct-2020).

The next OpenJDK release is scheduled for 19-Jan-2021: this is a few weeks
before our planned release date mid-Feb-2021, so we can give that a try when
it becomes available.

Makarius

view this post on Zulip Email Gateway (Nov 20 2020 at 11:07):

From: Lawrence Paulson <lp15@cam.ac.uk>
Thanks for investigating!

The big new thing coming up is Apple’s M1 chip. All reviews suggest that it’s blazingly fast, even with emulation. But none of the new models support more than 16 GB, making them unattractive for us. Nevertheless: if somebody buys one of these things, please share your experiences!

Larry


Last updated: Dec 05 2021 at 22:18 UTC