--- a/src/Pure/GUI/swing_thread.scala Mon Apr 28 15:20:59 2014 +0200
+++ b/src/Pure/GUI/swing_thread.scala Mon Apr 28 15:22:57 2014 +0200
@@ -8,13 +8,12 @@
package isabelle
-import javax.swing.{SwingUtilities, Timer}
-import java.awt.event.{ActionListener, ActionEvent}
+import javax.swing.SwingUtilities
object Swing_Thread
{
- /* checks */
+ /* context check */
def assert[A](body: => A) =
{
@@ -29,7 +28,7 @@
}
- /* main dispatch queue */
+ /* event dispatch queue */
def now[A](body: => A): A =
{
@@ -41,12 +40,6 @@
}
}
- def future[A](body: => A): Future[A] =
- {
- if (SwingUtilities.isEventDispatchThread()) Future.value(body)
- else Future.fork { now(body) }
- }
-
def later(body: => Unit)
{
if (SwingUtilities.isEventDispatchThread()) body