--- /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 })
+}