src/Tools/Graphview/src/frame.scala
changeset 49568 6e4510ccf1bb
parent 49565 ea4308b7ef0f
child 49574 f27cb2662eda
--- 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) =>