src/Pure/PIDE/document.scala

           i += command.length
           (command, start)
         }
       }
 
-      private val block_size = 1024
+      private val block_size = 256
     }
 
     final class Commands private(val commands: Linear_Set[Command])
     {
       lazy val load_commands: List[Command] =