--- a/NEWS Fri Mar 20 20:23:40 2020 +0100
+++ b/NEWS Fri Mar 20 22:41:49 2020 +0100
@@ -89,6 +89,19 @@
automatic font scaling is usually absent on Linux, in contrast to
Windows and macOS.
+* The default value for the jEdit property "view.antiAlias" (menu item
+Utilities / Global Options / Text Area / Anti Aliased smooth text) is
+now "subpixel HRGB", instead of former "standard". Especially on Linux
+this often leads to faster text rendering, but can also cause problems
+with odd color shades. An alternative is to switch back to "standard"
+here, and set the following Java system property:
+
+ isabelle jedit -Dsun.java2d.opengl=true
+
+This can be made persistent via JEDIT_JAVA_OPTIONS in
+$ISABELLE_HOME_USER/etc/settings. For the "Isabelle2020" desktop
+application there is a corresponding options file in the same directory.
+
*** Isabelle/VSCode Prover IDE ***