src/Tools/jEdit/src/proofdocument/Text.scala

added EventBus for new command- or keyword-declarations

/*
 * Text as event source
 *
 * @author Johannes Hölzl, TU Munich
 */

package isabelle.proofdocument


object Text {
  class Changed(val start: Int, val added: Int, val removed: Int)
}

trait Text {
  def content(start: Int, stop: Int): String
  def length: Int
  def changes: EventBus[Text.Changed]
}