# HG changeset patch
# User wenzelm
# Date 1260291307 -3600
# Node ID ce25a3b37111cb86ed33e8a67e5d2cd3848b78ef
# Parent  0cb44ac299f810d7d3720b632d979ccd4f7b28a3
register_fonts: more precise error handling;

diff -r 0cb44ac299f8 -r ce25a3b37111 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Dec 08 12:41:47 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Tue Dec 08 17:55:07 2009 +0100
@@ -341,11 +341,11 @@
   private def create_font(name: String) =
     Font.createFont(Font.TRUETYPE_FONT, platform_file(name))
 
-  def register_fonts(): Boolean =
-  {
+  def register_fonts() {
     val ge = GraphicsEnvironment.getLocalGraphicsEnvironment()
     val ok1 = ge.registerFont(create_font("~~/lib/fonts/IsabelleText.ttf"))
     val ok2 = ge.registerFont(create_font("~~/lib/fonts/IsabelleTextBold.ttf"))
-    ok1 && ok2
+    if (!(ok1 && ok2) && !ge.getAvailableFontFamilyNames.contains(font_family))
+      error("Font family " + font_family + " unavailable")
   }
 }