author | wenzelm |
Thu, 24 Apr 2014 10:33:06 +0200 | |
changeset 56689 | b8b8b4ff8ad5 |
parent 56688 | f3932166a33d |
child 56690 | 69b31dc7256e |
--- a/src/Pure/System/event_bus.scala Thu Apr 24 10:30:55 2014 +0200 +++ b/src/Pure/System/event_bus.scala Thu Apr 24 10:33:06 2014 +0200 @@ -28,5 +28,5 @@ /* event invocation */ - def event(x: Event) { receivers.value.reverseIterator.foreach(_ ! x) } + def event(x: Event) { receivers.value.iterator.foreach(_ ! x) } }