src/Tools/Graphview/src/mutator_event.scala
changeset 57612 990ffb84489b
parent 56662 f373fb77e0a4
     1.1 --- a/src/Tools/Graphview/src/mutator_event.scala	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Tools/Graphview/src/mutator_event.scala	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -28,8 +28,8 @@
     1.4    {
     1.5      private val receivers = new mutable.ListBuffer[Receiver]
     1.6  
     1.7 -    def += (r: Receiver) { Swing_Thread.require {}; receivers += r }
     1.8 -    def -= (r: Receiver) { Swing_Thread.require {}; receivers -= r }
     1.9 -    def event(x: Message) { Swing_Thread.require {}; receivers.foreach(r => r(x)) }
    1.10 +    def += (r: Receiver) { GUI_Thread.require {}; receivers += r }
    1.11 +    def -= (r: Receiver) { GUI_Thread.require {}; receivers -= r }
    1.12 +    def event(x: Message) { GUI_Thread.require {}; receivers.foreach(r => r(x)) }
    1.13    }
    1.14  }
    1.15 \ No newline at end of file