>>>>> "Juergen" == Juergen Vigna <[EMAIL PROTECTED]> writes:
Juergen> Jean-Marc Lasgouttes wrote: >> This is something we do everytime we want to open a menu containing >> this lfun. So it maybe slow indeed. Juergen> I don't think so. We only have to search until we find the Juergen> first one, we don't have to scan all the document (only in Juergen> worst case which should be tested with the UserGuide) and IMO Juergen> inseterrors are placed only in top level paragraphs, isn't Juergen> it? If they are only at toplevel, there is a bug :) JMarc
