>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> I think this patch is a nice start. But all is does is to run Lars> latex with the '-src-specials' parameter. Further work would be Lars> to insert the specials ourselves and make the lyx document have Lars> nicer (stable) id's than can be used for search and inverse Lars> search. (What I mentioned this summer about giving the Lars> paragraphs an id.) Don't we have already some code using sockets that is related to this dvi interaction stuff? I am a bit lost. Lars> After I just read through the patch (again,... I have done this Lars> earlier as well, but had a hard time forming an opinion) I took a quick look at it, and do not like much the use of a lyxrc option for src-specials. I'd rather see a special converter entry, but I am not sure how to do it. JMarc
