# HG changeset patch
# User wenzelm
# Date 1230579394 -3600
# Node ID 4900605ebd0c7c7c81a9de190c0ab7a489a3d0fe
# Parent  feeab430c3ebb850a8360ee8659bd163b3078d54
obsolete (cf. isabelle.EventBus in Pure/General/event_bus.scala);

diff -r feeab430c3eb -r 4900605ebd0c src/Tools/jEdit/src/utils/EventSource.scala
--- a/src/Tools/jEdit/src/utils/EventSource.scala	Mon Dec 29 17:50:39 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-/*
- * Event sources with multiple handlers
- *
- * @author Johannes Hölzl, TU Munich
- */
-
-package isabelle.utils
-
-import scala.collection.mutable.HashSet
-
-class EventSource[Event] {
-  private val handlers = new HashSet[(Event) => Unit]()
-
-  def add(handler : (Event) => Unit) { handlers += handler }
-  def remove(handler : (Event) => Unit) { handlers -= handler }
-	
-  def fire(event : Event) { for(h <- handlers) h(event) }
-}
\ No newline at end of file