>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Thu, Mar 13, 2003 at 01:06:21PM +0000, Angus Leeming wrote: >> If tokens do not need to start with '\\' then I think that >> something is wrong with lyxlex. Jean-Marc, could you confirm that >> my understanding is correct. John> JMarc was saying that lyxlex's behaviour is not dependent on the John> particular encoding of what lyx's token use (starts with '\\'). John> However, it seems he is wrong, else no spaces in actual document John> content would ever be read, and users might be angry about that 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? JMarc
