On Sun, 1 Jan 2006 12:02 am, Andreas L Delmelle wrote: > On Dec 31, 2005, at 16:05, Manuel Mall wrote: > > The possible problem I saw with the block-level white-space handling > was that all white-space characters would continue to take up memory > until the first nested block or in the worst case, until the end-of- > block. In case of large blocks with lots of indents due to pretty- > printing, the current approach makes these spaces disappear much > sooner (= more memory-efficient). > Andreas,
you can't be serious here. Keeping a few whitespace characters until the end of a block is reached is completely irrelevant with respect to FOPs memory consumption and should not play even the slightest consideration when comes to choice of algorithm. If this is the only reason which stops you from doing end of paragraph line-feed-treatment during refinement then please revise the algorithm to do so. <snip/> > > Cheers, > > Andreas Manuel
