# HG changeset patch
# User wenzelm
# Date 1246315842 -7200
# Node ID e49011bb85da115d95e12163589dde299fb1c000
# Parent  bf711eb92f84293e65af3d36ec4e5914065b2e86
more display;

diff -r bf711eb92f84 -r e49011bb85da src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Tue Jun 30 00:46:28 2009 +0200
+++ b/src/Pure/System/gui_setup.scala	Tue Jun 30 00:50:42 2009 +0200
@@ -29,8 +29,8 @@
     // components
     val text = new TextArea {
       editable = false
-      columns = 40
-      rows = 15
+      columns = 80
+      rows = 20
       xLayoutAlignment = 0.5
     }
     val ok = new Button {
@@ -53,6 +53,7 @@
         text.append("Main platform: " + name1 + "\n")
         text.append("Alternative platform: " + name2 + "\n")
     }
+    text.append("Isabelle home: " + java.lang.System.getProperty("isabelle.home"))
 
     // reactions
     listenTo(ok)