Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
simplified register_fonts;
authorwenzelm
Tue, 08 Dec 2009 17:56:53 +0100
changeset 34762 0974378d235a
parent 34761 0ad6d8372f9d
child 34763 eb0f4a9ec052
simplified register_fonts;
src/Tools/jEdit/src/jedit/plugin.scala file | annotate | diff | comparison | revisions 
--- 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()
isabelle