Email Gateway (Nov 15 2024 at 22:30): Email Gateway (Nov 15 2024 at 22:30):From: Makarius <makarius@sketis.net>
* Isabelle/jEdit Prover IDE *
Text rendering performance on macOS may be improved by using old
OpenGL instead of new Metal. This is controlled by the java command-line
option "-Dsun.java2d.metal=false", which is now the default.
Update to jEdit 5.7.0, the latest release.
This refers to current Isabelle/570b4652d143.
A version of jEdit 5.7.0 has been there before (from a few weeks ago), but now
it should work smoothly as expected from a stable release. (I had to apply a
few odd patches, notably for SideKick.)
Makarius
Last updated: Dec 21 2024 at 16:20 UTC