>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Wed, Mar 12, 2003 at 05:36:37PM +0100, Jean-Marc Lasgouttes John> wrote: Therefore, whilst it's not particularly clean, my changes John> do not introduce a new concept to the lyxlex_pimpl code. So John> unless I've grossly misread this code, you're wrong ... >> It may be that I am wrong indeed. Am I right that what this code >> does is to make sure that one can escape a space as "\ "? John> I don't think so. Surely it's just to make sure that lines like John> : John> \added_space_bottom 5in \no_indent \some_par_option John> Are parsed properly - nextToken() returns "\added_space_bottom" John> not the whole line. nextToken on can return the whole line John> otherwise . .. john So how would it parse Style Title in layout files? If you want to have a whole line, you are supposed to do eatLine(). At least that's how I always used it. What I do not know or use, though is pushToken. How do you use it? Basically, can you explain what you did and what did not work? JMarc
