--- 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.