# HG changeset patch
# User wenzelm
# Date 1557412858 -7200
# Node ID b4534d72dd22af13c8f773f4e76f5a2c731a12e7
# Parent  6778fdbd6c5df7be28afd279ac1690ae311d7bfc
more NEWS;

diff -r 6778fdbd6c5d -r b4534d72dd22 NEWS
--- a/NEWS	Thu May 09 16:28:37 2019 +0200
+++ b/NEWS	Thu May 09 16:40:58 2019 +0200
@@ -111,6 +111,12 @@
 might be *worse* than Oracle Java 8, though -- a proper HiDPI / UHD
 display is recommended.
 
+* OpenJDK 11 supports GTK version 2.2 and 3 (according to system
+property jdk.gtk.version). The factory default is version 3, but
+ISABELLE_JAVA_SYSTEM_OPTIONS includes "-Djdk.gtk.version=2.2" to make
+this more conservative (as in Java 8). Depending on the GTK theme
+configuration, "-Djdk.gtk.version=3" might work better or worse.
+
 
 *** Document preparation ***