src/Tools/Graphview/src/mutator_event.scala

--- a/src/Tools/Graphview/src/mutator_event.scala	Wed Jul 23 11:08:24 2014 +0200
+++ b/src/Tools/Graphview/src/mutator_event.scala	Wed Jul 23 11:19:24 2014 +0200
@@ -28,8 +28,8 @@
   {
     private val receivers = new mutable.ListBuffer[Receiver]
 
-    def += (r: Receiver) { Swing_Thread.require {}; receivers += r }
-    def -= (r: Receiver) { Swing_Thread.require {}; receivers -= r }
-    def event(x: Message) { Swing_Thread.require {}; receivers.foreach(r => r(x)) }
+    def += (r: Receiver) { GUI_Thread.require {}; receivers += r }
+    def -= (r: Receiver) { GUI_Thread.require {}; receivers -= r }
+    def event(x: Message) { GUI_Thread.require {}; receivers.foreach(r => r(x)) }
   }
 }
\ No newline at end of file