# HG changeset patch
# User wenzelm
# Date 1554801887 -7200
# Node ID f9d8f78ef6871f72b8041a81e6a19c448634939b
# Parent  96776eb418542f233252126f472c4dc3f82abb72
proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option);

diff -r 96776eb41854 -r f9d8f78ef687 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Apr 09 10:56:25 2019 +0200
+++ b/Admin/components/components.sha1	Tue Apr 09 11:24:47 2019 +0200
@@ -82,6 +82,7 @@
 928b5320073d04d93bcc5bc4347b6d01632b9d45  isabelle_fonts-20190210.tar.gz
 dfcdf9a757b9dc36cee87f82533b43c58ba84abe  isabelle_fonts-20190309.tar.gz
 95e3acf038df7fdeeacd8b4769930e6f57bf3692  isabelle_fonts-20190406.tar.gz
+dabcf5085d67c99159007007ff0e9bf775e423d1  isabelle_fonts-20190409.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz
 71d19df63816e9be1c4c5eb44aea7a44cfadb319  jdk-11.tar.gz
diff -r 96776eb41854 -r f9d8f78ef687 Admin/components/main
--- a/Admin/components/main	Tue Apr 09 10:56:25 2019 +0200
+++ b/Admin/components/main	Tue Apr 09 11:24:47 2019 +0200
@@ -4,7 +4,7 @@
 csdp-6.x
 cvc4-1.5-4
 e-2.0-2
-isabelle_fonts-20190406
+isabelle_fonts-20190409
 jdk-11.0.2+9
 jedit_build-20190224
 jfreechart-1.5.0
diff -r 96776eb41854 -r f9d8f78ef687 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Tue Apr 09 10:56:25 2019 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Tue Apr 09 11:24:47 2019 +0200
@@ -2115,7 +2115,7 @@
   ``end-of-live'' status since Jan-2019) and refer to its main directory via
   @{setting "ISABELLE_JDK_HOME"}\<^verbatim>\<open>="..."\<close> in
   \<^path>\<open>$ISABELLE_HOME_USER/etc/settings\<close>. Also add
-  \<^verbatim>\<open>isabelle_fonts_hints=false\<close> to
+  \<^verbatim>\<open>isabelle_fonts_hinted=false\<close> to
   \<^path>\<open>$ISABELLE_HOME_USER/etc/preferences\<close> to avoid problems of the old
   font renderer with hinting.
 
diff -r 96776eb41854 -r f9d8f78ef687 src/Pure/Admin/build_fonts.scala
--- a/src/Pure/Admin/build_fonts.scala	Tue Apr 09 10:56:25 2019 +0200
+++ b/src/Pure/Admin/build_fonts.scala	Tue Apr 09 11:24:47 2019 +0200
@@ -317,9 +317,9 @@
     File.write(settings_path,
       """# -*- shell-script -*- :mode=shellscript:
 
-if grep "isabelle_fonts_hinted.*=.*true" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
-then""" + fonts_settings(true) + """
-else""" + fonts_settings(false) + """
+if grep "isabelle_fonts_hinted.*=.*false" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
+then""" + fonts_settings(false) + """
+else""" + fonts_settings(true) + """
 fi
 
 isabelle_fonts_hidden "$COMPONENT/""" + hinted_path(false).file_name + """/Vacuous.ttf"