1.1 --- a/src/Pure/System/gui_setup.scala	Tue Jun 30 00:46:28 2009 +0200
     1.2 +++ b/src/Pure/System/gui_setup.scala	Tue Jun 30 00:50:42 2009 +0200
     1.3 @@ -29,8 +29,8 @@
     1.4      // components
     1.5      val text = new TextArea {
     1.6        editable = false
     1.7 -      columns = 40
     1.8 -      rows = 15
     1.9 +      columns = 80
    1.10 +      rows = 20
    1.11        xLayoutAlignment = 0.5
    1.12      }
    1.13      val ok = new Button {
    1.14 @@ -53,6 +53,7 @@
    1.15          text.append("Main platform: " + name1 + "\n")
    1.16          text.append("Alternative platform: " + name2 + "\n")
    1.17      }
    1.18 +    text.append("Isabelle home: " + java.lang.System.getProperty("isabelle.home"))
    1.19  
    1.20      // reactions
    1.21      listenTo(ok)