src/Pure/System/isabelle_fonts.scala

 
 
 import java.awt.{Font, GraphicsEnvironment}
 
 
-object Isabelle_Fonts
-{
+object Isabelle_Fonts {
   /* standard names */
 
   val mono: String = "Isabelle DejaVu Sans Mono"
   val sans: String = "Isabelle DejaVu Sans"
   val serif: String = "Isabelle DejaVu Serif"
 
 
   /* environment entries */
 
-  object Entry
-  {
-    object Ordering extends scala.math.Ordering[Entry]
-    {
+  object Entry {
+    object Ordering extends scala.math.Ordering[Entry] {
       def compare(entry1: Entry, entry2: Entry): Int =
         entry1.family compare entry2.family match {
           case 0 => entry1.style compare entry2.style
           case ord => ord
         }
     }
   }
 
-  sealed case class Entry(path: Path, hidden: Boolean = false)
-  {
+  sealed case class Entry(path: Path, hidden: Boolean = false) {
     lazy val bytes: Bytes = Bytes.read(path)
     lazy val font: Font = Font.createFont(Font.TRUETYPE_FONT, path.file)
 
     def family: String = font.getFamily
     def name: String = font.getFontName

       name_lowercase.containsSlice("oblique")
   }
 
   def make_entries(
     getenv: String => String = Isabelle_System.getenv_strict(_),
-    hidden: Boolean = false): List[Entry] =
-  {
+    hidden: Boolean = false
+  ): List[Entry] = {
     Path.split(getenv("ISABELLE_FONTS")).map(Entry(_)) :::
     (if (hidden) Path.split(getenv("ISABELLE_FONTS_HIDDEN")).map(Entry(_, hidden = true)) else Nil)
   }
 
   private lazy val all_fonts: List[Entry] =

     if (hidden) all_fonts else all_fonts.filter(entry => !entry.hidden)
 
 
   /* system init */
 
-  def init(): Unit =
-  {
+  def init(): Unit = {
     val ge = GraphicsEnvironment.getLocalGraphicsEnvironment()
     for (entry <- fonts()) ge.registerFont(entry.font)
   }
 }