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