# HG changeset patch
# User wenzelm
# Date 1398423384 -7200
# Node ID 6d5733303a50a21ea7c5a905d74046c12305949b
# Parent  52125652e82a0df818db29335d4c697e8e8b6989
obsolete;

diff -r 52125652e82a -r 6d5733303a50 src/Pure/System/event_bus.scala
--- 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) }
-}
diff -r 52125652e82a -r 6d5733303a50 src/Pure/build-jars
--- 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