--- a/src/Pure/Tools/main.scala	Thu Oct 01 23:26:31 2015 +0200
+++ b/src/Pure/Tools/main.scala	Fri Oct 02 16:56:46 2015 +0200
@@ -20,6 +20,7 @@
     {
       try {
         Isabelle_System.init()
+        GUI.install_fonts()
 
 
         /* settings directory */
changeset 61307	be3a5fee11e3
parent 61291	e00e1bf23d03
child 61512	933463440449