NEWS

--- a/NEWS	Fri Nov 15 23:20:24 2024 +0100
+++ b/NEWS	Fri Nov 15 23:25:18 2024 +0100
@@ -146,6 +146,10 @@
 "jedit-changes". This was broken in Isabelle2022, Isabelle2023,
 Isabelle2024.
 
+* 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.