equal
deleted
inserted
replaced
50 override def actionPerformed(e: ActionEvent) { Swing_Thread.assert(); action } |
50 override def actionPerformed(e: ActionEvent) { Swing_Thread.assert(); action } |
51 } |
51 } |
52 val timer = new Timer(time.ms.toInt, listener) |
52 val timer = new Timer(time.ms.toInt, listener) |
53 timer.setRepeats(false) |
53 timer.setRepeats(false) |
54 |
54 |
55 def invoke() { if (first) timer.start() else timer.restart() } |
55 def invoke() { now { if (first) timer.start() else timer.restart() } } |
56 invoke _ |
56 invoke _ |
57 } |
57 } |
58 |
58 |
59 // delayed action after first invocation |
59 // delayed action after first invocation |
60 def delay_first = delayed_action(true) _ |
60 def delay_first = delayed_action(true) _ |