>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:
Enrico> The attached patch: - Fixes handling of a wrong delimiter. Enrico> Previously, a character after a big size macro was swallowed, Enrico> causing data loss. - When converting to latex, avoid putting a Enrico> space before the delimiter. The space is not necessary as the Enrico> delimiter never begins with a letter. - Make translatable the Enrico> string "Variable size" for the qt4 frontend. Enrico> If nobody objects, I'll put it in tomorrow. Looks good. JMarc
