On Thu, Mar 13, 2003 at 03:27:34PM +0100, Jean-Marc Lasgouttes wrote:

> Please do not change too many things just now. I suspect that the
> problem is in the way pushToken is used. John, where is your code that
> uses pushToken?

Things that call Buffer::readParagraph. ::readParagraph in
paragraph_funcs (this is the one that needed my patch).

regards
john

Reply via email to