approximate Perspective.full within the bounds of the JVM;
authorwenzelm
Tue Feb 21 17:08:32 2012 +0100 (2012-02-21)
changeset 46576ae9286f64574
parent 46575 f1e387195a56
child 46577 e5438c5797ae
approximate Perspective.full within the bounds of the JVM;
src/Pure/PIDE/text.scala
     1.1 --- a/src/Pure/PIDE/text.scala	Tue Feb 21 16:48:10 2012 +0100
     1.2 +++ b/src/Pure/PIDE/text.scala	Tue Feb 21 17:08:32 2012 +0100
     1.3 @@ -74,6 +74,8 @@
     1.4    {
     1.5      val empty: Perspective = Perspective(Nil)
     1.6  
     1.7 +    def full: Perspective = Perspective(List(Range(0, Integer.MAX_VALUE / 2)))
     1.8 +
     1.9      def apply(ranges: Seq[Range]): Perspective =
    1.10      {
    1.11        val result = new mutable.ListBuffer[Text.Range]