changeset 34532 | aaafe9c4180b |
parent 34526 | b504abb6eff6 |
child 34541 | e3ca0658fb6a |
--- a/src/Tools/jEdit/src/proofdocument/Text.scala Thu Mar 05 16:40:49 2009 +0100 +++ b/src/Tools/jEdit/src/proofdocument/Text.scala Sun Mar 08 23:03:49 2009 +0100 @@ -11,8 +11,4 @@ case class Change(start: Int, val added: String, val removed: Int) { override def toString = "start: " + start + " added: " + added + " removed: " + removed } -} - -trait Text { - def changes: EventBus[Text.Change] -} +} \ No newline at end of file