# HG changeset patch
# User wenzelm
# Date 1246197712 -7200
# Node ID b54362b9fbef4484784cdbfccb8fb7deaffd7209
# Parent  7f311da87d5aad2a76729fd4f4aaa1f9aaecd64a
minimal GUI_Setup, which is the main class of Pure.jar;

diff -r 7f311da87d5a -r b54362b9fbef src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Sun Jun 28 15:39:51 2009 +0200
+++ b/src/Pure/IsaMakefile	Sun Jun 28 16:01:52 2009 +0200
@@ -121,9 +121,9 @@
   General/position.scala General/scan.scala General/swing.scala		\
   General/symbol.scala General/xml.scala General/yxml.scala		\
   Isar/isar.scala Isar/isar_document.scala Isar/outer_keyword.scala	\
-  System/cygwin.scala System/isabelle_process.scala			\
-  System/isabelle_system.scala System/platform.scala			\
-  Thy/completion.scala Thy/thy_header.scala				\
+  System/cygwin.scala System/gui_setup.scala				\
+  System/isabelle_process.scala System/isabelle_system.scala		\
+  System/platform.scala Thy/completion.scala Thy/thy_header.scala	\
   Tools/isabelle_syntax.scala
 
 
@@ -137,7 +137,7 @@
 	scaladoc -d classes $(SCALA_FILES)
 	@cp $(SCALA_FILES) classes/isabelle
 	@mkdir -p `dirname $@`
-	@cd classes; jar cf `jvmpath $@` isabelle
+	@cd classes; jar cfe `jvmpath $@` isabelle.GUI_Setup isabelle
 	@rm -rf classes
 
 clean-jar:
diff -r 7f311da87d5a -r b54362b9fbef src/Pure/System/gui_setup.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/System/gui_setup.scala	Sun Jun 28 16:01:52 2009 +0200
@@ -0,0 +1,30 @@
+/*  Title:      Pure/System/gui_setup.scala
+    Author:     Makarius
+
+GUI for basic system setup.
+*/
+
+package isabelle
+
+import scala.swing._
+import scala.swing.event._
+
+
+object GUI_Setup extends SimpleGUIApplication
+{
+  def top = new MainFrame {
+    title = "Isabelle setup"
+    val ok = new Button { text = "OK" }
+
+    contents = new BoxPanel(Orientation.Vertical) {
+      contents += ok
+      border = scala.swing.Swing.EmptyBorder(20, 20, 20, 20)
+    }
+
+    listenTo(ok)
+    reactions += {
+      case ButtonClicked(`ok`) => System.exit(0)
+    }
+  }
+}
+