>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Mon, Dec 10, 2001 at 06:21:36PM +0100, Jean-Marc Lasgouttes John> wrote: >> >>>>> "John" == John Levon <[EMAIL PROTECTED]> writes: >> John> On Mon, Dec 10, 2001 at 05:32:49PM +0100, Jean-Marc Lasgouttes John> wrote: >> >> Juergen, as its name does not indicate, >> >> deleteEmptyParagraphMechanism also deletes extra spaces, which is a >> >> very reasonable thing to do even when there is only one >> paragraph. >> John> deleteFreeSpace() ? >> Actually the same method does both things. John> eh ? That's what I meant (rename the function ...) FreeSpacing has this 'free_spacing' connotation, which does not apply to 'keep_empty' type problems, if you see what I mean. JMarc
