# HG changeset patch
# User wenzelm
# Date 1584740509 -3600
# Node ID aff37005fd799cb3d3eea1c166204f7875131f03
# Parent  95460356d63333ca108a1616415da653a518cadb
more NEWS;

diff -r 95460356d633 -r aff37005fd79 NEWS
--- 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 ***