src/Pure/System/gui_setup.scala

     title = "Isabelle setup"
 
     // components
     val text = new TextArea {
       editable = false
-      columns = 20
-      rows = 10
+      columns = 40
+      rows = 15
       xLayoutAlignment = 0.5
     }
     val ok = new Button {
       text = "OK"
       xLayoutAlignment = 0.5

       contents += text
       contents += ok
     }
 
     // values
+    if (Platform.is_windows) {
+      text.append("Cygwin root: " + Cygwin.config()._1 + "\n")
+    }
     Platform.defaults match {
       case None =>
-      case Some((name, None)) => text.append("platform: " + name + "\n")
+      case Some((name, None)) => text.append("Platform: " + name + "\n")
       case Some((name1, Some(name2))) =>
-        text.append("main platform: " + name2 + "\n")
-        text.append("alternative platform: " + name2 + "\n")
-    }
-    if (Platform.is_windows) {
-      text.append("Cygwin root: " + Cygwin.config()._1 + "\n")
+        text.append("Main platform: " + name1 + "\n")
+        text.append("Alternative platform: " + name2 + "\n")
     }
 
     // reactions
     listenTo(ok)
     reactions += {