# HG changeset patch
# User wenzelm
# Date 1348661587 -7200
# Node ID 6e4510ccf1bb1fc78027ce29187381c8652b6df1
# Parent  136dd296ba24de84b3f37a28428321c20ecfb3c7
proper install_fonts;

diff -r 136dd296ba24 -r 6e4510ccf1bb src/Tools/Graphview/src/frame.scala
--- a/src/Tools/Graphview/src/frame.scala	Tue Sep 25 22:52:40 2012 +0200
+++ b/src/Tools/Graphview/src/frame.scala	Wed Sep 26 14:13:07 2012 +0200
@@ -23,6 +23,7 @@
       try {
         Platform.init_laf()
         Isabelle_System.init()
+        Isabelle_System.install_fonts()
 
         args.toList match {
           case List(arg) =>