changeset 34762 | 0974378d235a |
parent 34760 | dc7f5e0d9d27 |
child 34764 | 581e919c8730 |
--- a/src/Tools/jEdit/src/jedit/plugin.scala Tue Dec 08 16:44:30 2009 +0100 +++ b/src/Tools/jEdit/src/jedit/plugin.scala Tue Dec 08 17:56:53 2009 +0100 @@ -142,8 +142,7 @@ { Isabelle.plugin = this Isabelle.system = new Isabelle_System - if (!Isabelle.system.register_fonts()) - System.err.println("Failed to register Isabelle fonts") + Isabelle.system.register_fonts() } override def stop()