1.1 --- a/src/Tools/jEdit/src/jedit/plugin.scala	Tue Dec 08 16:44:30 2009 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit/plugin.scala	Tue Dec 08 17:56:53 2009 +0100
     1.3 @@ -142,8 +142,7 @@
     1.4    {
     1.5      Isabelle.plugin = this
     1.6      Isabelle.system = new Isabelle_System
     1.7 -    if (!Isabelle.system.register_fonts())
     1.8 -      System.err.println("Failed to register Isabelle fonts")
     1.9 +    Isabelle.system.register_fonts()
    1.10    }
    1.11  
    1.12    override def stop()