>>>>> "Dov" == Dov Feldstern <[EMAIL PROTECTED]> writes:
>> That (and the proposed solution below) makes a lot of sense. I >> don't have time now to investigate, maybe you can put this analysis >> into bugzilla so that it does not get forgotten? >> Dov> I already added a comment saying that there is a thread in the Dov> mailing list with such-and-such a title on such-and-such a date. Dov> Is that enough, or should I also add a link to the mailing list Dov> (how?) or the actual text of this message? I propose tha you copy your longer message and add a link to the thread using for example gmane: http://thread.gmane.org/gmane.editors.lyx.devel/79113/focus=79256 JMarc