NEWS
changeset 70072 54dc58086351
parent 70069 381035c03220
child 70075 ee0b8e06b01c
     1.1 --- a/NEWS	Fri Apr 05 23:45:35 2019 +0200
     1.2 +++ b/NEWS	Sat Apr 06 22:05:25 2019 +0200
     1.3 @@ -90,10 +90,16 @@
     1.4  storage directory for "isabelle build". Option "-n" is now clearly
     1.5  separated from option "-s".
     1.6  
     1.7 +* Isabelle DejaVu fonts are available with hinting by default, which is
     1.8 +relevant for low-resolution displays. This may be disabled via system
     1.9 +option "isabelle_fonts_hinted = false" in
    1.10 +$ISABELLE_HOME_USER/etc/settings -- it occasionally yields better
    1.11 +results.
    1.12 +
    1.13  * OpenJDK 11 has quite different font rendering, with better glyph
    1.14  shapes and improved sub-pixel anti-aliasing. In some situations results
    1.15 -might be *worse* than Oracle Java 8, though. A decent HiDPI display is
    1.16 -recommended.
    1.17 +might be *worse* than Oracle Java 8, though -- a proper HiDPI / UHD
    1.18 +display is recommended.
    1.19  
    1.20  
    1.21  *** Document preparation ***