# HG changeset patch
# User wenzelm
# Date 1260221013 -3600
# Node ID 0bae8702a7c53b5b5d7b9645acaeda9f0d0f437b
# Parent  7c2c38a5bca303f77b57b914c9da5ef95535488b
basic support for IsabelleText fonts;

diff -r 7c2c38a5bca3 -r 0bae8702a7c5 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon Dec 07 14:54:28 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Mon Dec 07 22:23:33 2009 +0100
@@ -9,6 +9,7 @@
 import java.util.regex.Pattern
 import java.util.Locale
 import java.io.{BufferedReader, InputStreamReader, FileInputStream, File, IOException}
+import java.awt.{GraphicsEnvironment, Font}
 
 import scala.io.Source
 import scala.util.matching.Regex
@@ -331,4 +332,20 @@
   val symbols = new Symbol.Interpretation(
     read_symbols("$ISABELLE_HOME/etc/symbols") ++
     read_symbols("$ISABELLE_HOME_USER/etc/symbols"))
+
+
+  /* fonts */
+
+  val font_family = "IsabelleText"
+
+  private def create_font(name: String) =
+    Font.createFont(Font.TRUETYPE_FONT, platform_file(name))
+
+  def register_fonts(): Boolean =
+  {
+    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
+  }
 }