>>>>> "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. JMarc