src/Pure/System/main.scala
changeset 47867 dd9cbe708e6b
parent 47664 3f9681ca7040
child 48192 07a32140ce0d
equal deleted inserted replaced
47866:2cc26ddd8298 47867:dd9cbe708e6b
    19         Isabelle_System.init()
    19         Isabelle_System.init()
    20         Isabelle_System.isabelle_tool("jedit", args: _*)
    20         Isabelle_System.isabelle_tool("jedit", args: _*)
    21       }
    21       }
    22       catch { case exn: Throwable => (Exn.message(exn), 2) }
    22       catch { case exn: Throwable => (Exn.message(exn), 2) }
    23 
    23 
    24     if (rc != 0) {
    24     if (rc != 0)
    25       val text = new TextArea(out + "\nReturn code: " + rc)
    25       Library.dialog(null, "Isabelle", "Isabelle output",
    26       text.editable = false
    26         Library.scrollable_text(out + "\nReturn code: " + rc))
    27       Library.dialog(null, "Isabelle", "Isabelle output", text)
       
    28     }
       
    29 
    27 
    30     System.exit(rc)
    28     System.exit(rc)
    31   }
    29   }
    32 }
    30 }
    33 
    31