src/Pure/PIDE/text.scala
changeset 38563 f6c9a4f9f66f
parent 38562 3de5f0424caa
child 38564 a6e2715fac5f
     1.1 --- a/src/Pure/PIDE/text.scala	Thu Aug 19 22:04:20 2010 +0200
     1.2 +++ b/src/Pure/PIDE/text.scala	Thu Aug 19 22:26:15 2010 +0200
     1.3 @@ -21,6 +21,8 @@
     1.4    {
     1.5      require(start <= stop)
     1.6  
     1.7 +    override def toString = "[" + start.toString + ":" + stop.toString + "]"
     1.8 +
     1.9      def map(f: Offset => Offset): Range = Range(f(start), f(stop))
    1.10      def +(i: Offset): Range = map(_ + i)
    1.11      def contains(i: Offset): Boolean = start <= i && i < stop