src/Pure/PIDE/document.scala
changeset 56398 15d0821c8667
parent 56394 bbf4d512f395
child 56462 b64b0cb845fe
     1.1 --- a/src/Pure/PIDE/document.scala	Thu Apr 03 22:04:57 2014 +0200
     1.2 +++ b/src/Pure/PIDE/document.scala	Fri Apr 04 10:41:53 2014 +0200
     1.3 @@ -187,7 +187,7 @@
     1.4          }
     1.5        }
     1.6  
     1.7 -      private val block_size = 1024
     1.8 +      private val block_size = 256
     1.9      }
    1.10  
    1.11      final class Commands private(val commands: Linear_Set[Command])