NEWS
changeset 70258 b4534d72dd22
parent 70237 7e9269c188d6
child 70260 22cfcfcadd8b
     1.1 --- a/NEWS	Thu May 09 16:28:37 2019 +0200
     1.2 +++ b/NEWS	Thu May 09 16:40:58 2019 +0200
     1.3 @@ -111,6 +111,12 @@
     1.4  might be *worse* than Oracle Java 8, though -- a proper HiDPI / UHD
     1.5  display is recommended.
     1.6  
     1.7 +* OpenJDK 11 supports GTK version 2.2 and 3 (according to system
     1.8 +property jdk.gtk.version). The factory default is version 3, but
     1.9 +ISABELLE_JAVA_SYSTEM_OPTIONS includes "-Djdk.gtk.version=2.2" to make
    1.10 +this more conservative (as in Java 8). Depending on the GTK theme
    1.11 +configuration, "-Djdk.gtk.version=3" might work better or worse.
    1.12 +
    1.13  
    1.14  *** Document preparation ***
    1.15