changeset 44384 | 8f6054a63f96 |
parent 44379 | 1079ab6b342b |
child 44473 | 4f264fdf8d0e |
--- a/src/Pure/PIDE/text.scala Mon Aug 22 21:09:26 2011 +0200 +++ b/src/Pure/PIDE/text.scala Mon Aug 22 21:42:02 2011 +0200 @@ -62,7 +62,7 @@ /* perspective */ - type Perspective = List[Range] // partitioning in canonical order + type Perspective = List[Range] // visible text partitioning in canonical order def perspective(ranges: Seq[Range]): Perspective = {