1.1 --- a/src/Pure/PIDE/text.scala Wed Aug 25 22:57:40 2010 +0200
1.2 +++ b/src/Pure/PIDE/text.scala Thu Aug 26 11:29:43 2010 +0200
1.3 @@ -33,7 +33,7 @@
1.4 def +(i: Offset): Range = map(_ + i)
1.5 def -(i: Offset): Range = map(_ - i)
1.6
1.7 - def is_singleton: Boolean = start == stop
1.8 + def is_singularity: Boolean = start == stop
1.9
1.10 def contains(i: Offset): Boolean = start == i || start < i && i < stop
1.11 def contains(that: Range): Boolean = this.contains(that.start) && that.stop <= this.stop