equal
deleted
inserted
replaced
47 } |
47 } |
48 |
48 |
49 |
49 |
50 /* delayed events */ |
50 /* delayed events */ |
51 |
51 |
52 def delay_first(delay: => Time, cancel: () => Unit = () => ())(event: => Unit) |
52 def delay_first(delay: => Time)(event: => Unit): Standard_Thread.Delay = |
53 : Standard_Thread.Delay = Standard_Thread.delay_first(delay, cancel) { later { event } } |
53 Standard_Thread.delay_first(delay) { later { event } } |
54 |
54 |
55 def delay_last(delay: => Time, cancel: () => Unit = () => ())(event: => Unit) |
55 def delay_last(delay: => Time)(event: => Unit): Standard_Thread.Delay = |
56 : Standard_Thread.Delay = Standard_Thread.delay_last(delay, cancel) { later { event } } |
56 Standard_Thread.delay_last(delay) { later { event } } |
57 } |
57 } |