--- a/src/Tools/Graphview/mutator_event.scala Tue Aug 29 18:17:04 2023 +0200
+++ b/src/Tools/Graphview/mutator_event.scala Tue Aug 29 19:17:25 2023 +0200
@@ -16,7 +16,7 @@
case class Add(m: Mutator.Info) extends Message
case class New_List(m: List[Mutator.Info]) extends Message
- type Receiver = PartialFunction[Message, Unit]
+ type Receiver = Message => Unit
class Bus {
private val receivers = Synchronized[List[Receiver]](Nil)
@@ -25,4 +25,4 @@
def -= (r: Receiver): Unit = receivers.change(Library.remove(r))
def event(x: Message): Unit = receivers.value.reverse.foreach(r => r(x))
}
-}
\ No newline at end of file
+}