more NEWS;
authorwenzelm
Thu May 09 16:40:58 2019 +0200 (4 months ago)
changeset 70258b4534d72dd22
parent 70257 6778fdbd6c5d
child 70259 42f73412fa06
more NEWS;
NEWS
     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