# HG changeset patch
# User wenzelm
# Date 1329840512 -3600
# Node ID ae9286f64574c620366c63bc3aef595d14905297
# Parent  f1e387195a56ae162169a87b1d82b096cd1ddcb7
approximate Perspective.full within the bounds of the JVM;

diff -r f1e387195a56 -r ae9286f64574 src/Pure/PIDE/text.scala
--- a/src/Pure/PIDE/text.scala	Tue Feb 21 16:48:10 2012 +0100
+++ b/src/Pure/PIDE/text.scala	Tue Feb 21 17:08:32 2012 +0100
@@ -74,6 +74,8 @@
   {
     val empty: Perspective = Perspective(Nil)
 
+    def full: Perspective = Perspective(List(Range(0, Integer.MAX_VALUE / 2)))
+
     def apply(ranges: Seq[Range]): Perspective =
     {
       val result = new mutable.ListBuffer[Text.Range]