# HG changeset patch
# User wenzelm
# Date 1335102913 -7200
# Node ID 3f9681ca7040471f9727cfe41b4e74f408d8bc17
# Parent  20e0865ae9e74bb6239b8b8c23536feb6804cf4f
display return code like Isabelle.app on Mac OS;

diff -r 20e0865ae9e7 -r 3f9681ca7040 src/Pure/System/main.scala
--- a/src/Pure/System/main.scala	Sun Apr 22 15:50:29 2012 +0200
+++ b/src/Pure/System/main.scala	Sun Apr 22 15:55:13 2012 +0200
@@ -22,7 +22,7 @@
       catch { case exn: Throwable => (Exn.message(exn), 2) }
 
     if (rc != 0) {
-      val text = new TextArea(out)
+      val text = new TextArea(out + "\nReturn code: " + rc)
       text.editable = false
       Library.dialog(null, "Isabelle", "Isabelle output", text)
     }