src/Tools/jEdit/src/proofdocument/Text.scala
author wenzelm
Sun Oct 19 16:51:55 2008 +0200 (2008-10-19 ago)
changeset 34318 c13e168a8ae6
child 34407 aad6834ba380
permissions -rw-r--r--
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
     1 package isabelle.proofdocument
     2 
     3 import isabelle.utils.EventSource
     4 
     5 object Text {
     6   class Changed(val start : Int, val added : Int, val removed : Int) { }
     7 }
     8 
     9 trait Text {
    10   def content(start : Int, stop : Int) : String
    11   def length : Int
    12   
    13   def changes : EventSource[Text.Changed]
    14 }