--- a/src/Pure/System/event_bus.scala Fri Apr 25 12:51:08 2014 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-/* Title: Pure/System/event_bus.scala
- Module: PIDE
- Author: Makarius
-
-Generic event bus with multiple receiving actors.
-*/
-
-package isabelle
-
-
-import scala.actors.Actor, Actor._
-
-
-class Event_Bus[Event]
-{
- /* receivers */
-
- private val receivers = Synchronized(List.empty[Actor])
-
- def += (r: Actor) { receivers.change(Library.insert(r)) }
-
- def += (f: Event => Unit) {
- this += actor { loop { react { case x => f(x.asInstanceOf[Event]) } } }
- }
-
- def -= (r: Actor) { receivers.change(Library.remove(r)) }
-
-
- /* event invocation */
-
- def event(x: Event) { receivers.value.iterator.foreach(_ ! x) }
-}
--- a/src/Pure/build-jars Fri Apr 25 12:51:08 2014 +0200
+++ b/src/Pure/build-jars Fri Apr 25 12:56:24 2014 +0200
@@ -64,7 +64,6 @@
PIDE/xml.scala
PIDE/yxml.scala
System/command_line.scala
- System/event_bus.scala
System/interrupt.scala
System/invoke_scala.scala
System/isabelle_charset.scala