# HG changeset patch
# User wenzelm
# Date 1246221323 -7200
# Node ID f02c6a43f1b37cf4c5c4fd9a52de6218d1bc9c89
# Parent  af5221147455b5265c9f8442c51d280fc7f9fb94
display some platform information;

diff -r af5221147455 -r f02c6a43f1b3 src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Sun Jun 28 19:29:28 2009 +0200
+++ b/src/Pure/System/gui_setup.scala	Sun Jun 28 22:35:23 2009 +0200
@@ -25,13 +25,36 @@
 
   def top = new MainFrame {
     title = "Isabelle setup"
-    val ok = new Button { text = "OK" }
 
+    // components
+    val text = new TextArea {
+      editable = false
+      columns = 20
+      rows = 10
+      xLayoutAlignment = 0.5
+    }
+    val ok = new Button {
+      text = "OK"
+      xLayoutAlignment = 0.5
+    }
     contents = new BoxPanel(Orientation.Vertical) {
+      contents += text
       contents += ok
-      border = scala.swing.Swing.EmptyBorder(20, 20, 20, 20)
     }
 
+    // values
+    Platform.defaults match {
+      case None =>
+      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")
+    }
+
+    // reactions
     listenTo(ok)
     reactions += {
       case ButtonClicked(`ok`) => System.exit(0)