On Fri, Oct 20, 2006 at 09:38:56AM +0200, Jean-Marc Lasgouttes wrote: > >>>>> "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.
Committed. -- Enrico