# HG changeset patch
# User wenzelm
# Date 1230577591 -3600
# Node ID 2454172eddae2b8a87a6c29d1cf8c8f89be70ef4
# Parent  03908107bc5b54c95733fb4e3ddead3d1e62afe8
Swing utilities.

diff -r 03908107bc5b -r 2454172eddae src/Pure/General/swing.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/General/swing.scala	Mon Dec 29 20:06:31 2008 +0100
@@ -0,0 +1,18 @@
+/*  Title:      Pure/General/swing.scala
+    Author:     Makarius
+
+Swing utilities.
+*/
+
+package isabelle
+
+import javax.swing.SwingUtilities
+
+object Swing
+{
+  def now(body: => Unit) =
+    SwingUtilities.invokeAndWait(new Runnable { def run = body })
+
+  def later(body: => Unit) =
+    SwingUtilities.invokeLater(new Runnable { def run = body })
+}
diff -r 03908107bc5b -r 2454172eddae src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Mon Dec 29 18:30:05 2008 +0100
+++ b/src/Pure/IsaMakefile	Mon Dec 29 20:06:31 2008 +0100
@@ -121,11 +121,11 @@
 
 ## Scala material
 
-SCALA_FILES = General/event_bus.scala General/markup.scala	\
-  General/position.scala General/symbol.scala General/xml.scala	\
-  General/yxml.scala Isar/isar.scala Thy/thy_header.scala	\
-  Tools/isabelle_process.scala Tools/isabelle_syntax.scala	\
-  Tools/isabelle_system.scala
+SCALA_FILES = General/event_bus.scala General/markup.scala		\
+  General/position.scala General/swing.scala General/symbol.scala	\
+  General/xml.scala General/yxml.scala Isar/isar.scala			\
+  Thy/thy_header.scala Tools/isabelle_process.scala			\
+  Tools/isabelle_syntax.scala Tools/isabelle_system.scala
 
 
 SCALA_TARGET = $(ISABELLE_HOME)/lib/classes/Pure.jar