--- a/src/Pure/System/swing_thread.scala Sat Aug 07 14:45:26 2010 +0200
+++ b/src/Pure/System/swing_thread.scala Sat Aug 07 16:15:52 2010 +0200
@@ -46,8 +46,9 @@
private def delayed_action(first: Boolean)(time_span: Int)(action: => Unit): () => Unit =
{
- val listener =
- new ActionListener { override def actionPerformed(e: ActionEvent) { action } }
+ val listener = new ActionListener {
+ override def actionPerformed(e: ActionEvent) { Swing_Thread.assert(); action }
+ }
val timer = new Timer(time_span, listener)
timer.setRepeats(false)