src/Pure/System/swing_thread.scala
changeset 38223 2a368e8e0a80
parent 36676 ac7961d42ac3
child 38847 57043221eb43
     1.1 --- a/src/Pure/System/swing_thread.scala	Sat Aug 07 14:45:26 2010 +0200
     1.2 +++ b/src/Pure/System/swing_thread.scala	Sat Aug 07 16:15:52 2010 +0200
     1.3 @@ -46,8 +46,9 @@
     1.4  
     1.5    private def delayed_action(first: Boolean)(time_span: Int)(action: => Unit): () => Unit =
     1.6    {
     1.7 -    val listener =
     1.8 -      new ActionListener { override def actionPerformed(e: ActionEvent) { action } }
     1.9 +    val listener = new ActionListener {
    1.10 +      override def actionPerformed(e: ActionEvent) { Swing_Thread.assert(); action }
    1.11 +    }
    1.12      val timer = new Timer(time_span, listener)
    1.13      timer.setRepeats(false)
    1.14