| changeset 56689 | b8b8b4ff8ad5 |
| parent 56688 | f3932166a33d |
| 56688:f3932166a33d | 56689:b8b8b4ff8ad5 |
|---|---|
26 def -= (r: Actor) { receivers.change(Library.remove(r)) } |
26 def -= (r: Actor) { receivers.change(Library.remove(r)) } |
27 |
27 |
28 |
28 |
29 /* event invocation */ |
29 /* event invocation */ |
30 |
30 |
31 def event(x: Event) { receivers.value.reverseIterator.foreach(_ ! x) } |
31 def event(x: Event) { receivers.value.iterator.foreach(_ ! x) } |
32 } |
32 } |