src/Pure/GUI/gui.scala
changeset 65083 9a0e34edfad1
parent 63874 e2393cfde472
child 65370 1324268c2f6a
--- a/src/Pure/GUI/gui.scala	Thu Mar 02 15:46:27 2017 +0100
+++ b/src/Pure/GUI/gui.scala	Thu Mar 02 15:56:43 2017 +0100
@@ -262,7 +262,7 @@
   def install_fonts()
   {
     val ge = GraphicsEnvironment.getLocalGraphicsEnvironment()
-    for (font <- Path.split(Isabelle_System.getenv_strict("ISABELLE_FONTS")))
+    for (font <- Isabelle_System.fonts())
       ge.registerFont(Font.createFont(Font.TRUETYPE_FONT, font.file))
   }
 }