Re: [patch] Fix some glitches with fixed size delimiters

2006-10-20 Thread Enrico Forestieri
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 d

Re: [patch] Fix some glitches with fixed size delimiters

2006-10-20 Thread Jean-Marc Lasgouttes
> "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 d

[patch] Fix some glitches with fixed size delimiters

2006-10-19 Thread Enrico Forestieri
The attached patch: - Fixes handling of a wrong delimiter. Previously, a character after a big size macro was swallowed, causing data loss. - When converting to latex, avoid putting a space before the delimiter. The space is not necessary as the delimiter never begins with a letter. - Make tran