Le 30 août 09 à 18:44, Tommaso Cucinotta a écrit :
Oh, if this is all it takes, here you go: converting "randomly" spaces
to newlines is not friendly with the searching facility. Therefore, for
such purpose, I need a LaTeX export that retains spaces as present in
the document (and I would set linelen to 0 or to MAXINT, in order to
achieve this, with the proposed patch).

I think this is a sign that time should be invested to do a real in memory search.

JMarc

Reply via email to