src/Pure/Tools/fontforge.scala

 
 import java.io.{File => JFile}
 import java.util.Locale
 
 
-object Fontforge
-{
+object Fontforge {
   /** scripting language **/
 
   type Script = String
 
 
   /* concrete syntax */
 
-  def string(s: String): Script =
-  {
+  def string(s: String): Script = {
     def err(c: Char): Nothing =
       error("Bad character \\u" + String.format(Locale.ROOT, "%04x", Integer.valueOf(c)) +
         " in fontforge string " + quote(s))
 
     val q = if (s.contains('"')) '\'' else '"'
 
-    def escape(c: Char): String =
-    {
+    def escape(c: Char): String = {
       if (c == '\u0000' || c == '\r' || c == q) err(c)
       else if (c == '\n') "\\n"
       else if (c == '\\') "\\\\"
       else c.toString
     }

 
 
   /** execute fontforge program **/
 
   def execute(script: Script, args: String = "", cwd: JFile = null): Process_Result =
-    Isabelle_System.with_tmp_file("fontforge")(script_file =>
-    {
+    Isabelle_System.with_tmp_file("fontforge")(script_file => {
       File.write(script_file, script)
       Isabelle_System.bash(File.bash_path(Path.explode("$ISABELLE_FONTFORGE")) +
         " -lang=ff -script " + File.bash_path(script_file) + " " + args)
     })
 
-  def font_domain(path: Path, strict: Boolean = false): List[Int] =
-  {
+  def font_domain(path: Path, strict: Boolean = false): List[Int] = {
     val script =
       commands(
         open(path),
         "i = 0",
         "while (i < CharCnt() && i < 0x110000)",

     fontname: String = "",
     familyname: String = "",
     fullname: String = "",
     weight: String = "",
     copyright: String = "",
-    fontversion: String = "")
-  {
+    fontversion: String = ""
+  ) {
     override def toString: String = fontname
 
     def ttf: Path = Path.explode(fontname).ext("ttf")
 
-    def update(prefix: String = "", version: String = ""): Font_Names =
-    {
+    def update(prefix: String = "", version: String = ""): Font_Names = {
       val fontversion1 = proper_string(version) getOrElse fontversion
       if (prefix == "") copy(fontversion = fontversion1)
       else {
         copy(fontname = prefix + fontname,
           familyname = prefix + " " + familyname,

     def set: Script =
       List(fontname, familyname, fullname, weight, copyright, fontversion).map(string).
         mkString("SetFontNames(", ",", ")")
   }
 
-  def font_names(path: Path): Font_Names =
-  {
+  def font_names(path: Path): Font_Names = {
     val script =
       commands(
         open(path),
         "Print($fontname)",
         "Print($familyname)",