src/Tools/jEdit/src/plugin.scala

--- a/src/Tools/jEdit/src/plugin.scala	Thu Apr 04 17:16:51 2013 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Apr 04 17:33:04 2013 +0200
@@ -284,7 +284,7 @@
 
       PIDE.plugin = this
       Isabelle_System.init()
-      Isabelle_System.install_fonts()
+      Isabelle_Font.install_fonts()
 
       val init_options = Options.init()
       Swing_Thread.now { PIDE.options.update(init_options)  }