display return code like Isabelle.app on Mac OS;
authorwenzelm
Sun Apr 22 15:55:13 2012 +0200 (2012-04-22)
changeset 476643f9681ca7040
parent 47663 20e0865ae9e7
child 47665 2cbf029abca9
display return code like Isabelle.app on Mac OS;
src/Pure/System/main.scala
     1.1 --- a/src/Pure/System/main.scala	Sun Apr 22 15:50:29 2012 +0200
     1.2 +++ b/src/Pure/System/main.scala	Sun Apr 22 15:55:13 2012 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4        catch { case exn: Throwable => (Exn.message(exn), 2) }
     1.5  
     1.6      if (rc != 0) {
     1.7 -      val text = new TextArea(out)
     1.8 +      val text = new TextArea(out + "\nReturn code: " + rc)
     1.9        text.editable = false
    1.10        Library.dialog(null, "Isabelle", "Isabelle output", text)
    1.11      }