On Mon, Dec 19, 2005 at 05:39:42PM +0100, Jean-Marc Lasgouttes wrote: > >>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
... > Martin> Confirmed. This problem happens if you try to to type LaTeX > Martin> directly. It works correctly from the panel. > > The following patch seems to fix the bug. > > André, can you ack that this is correct? Same idea I had, but applied in a different place. plainInsert is called in a lot of places; are you sure this doesn't have side effects? - Martin
pgpwK2oMAn338.pgp
Description: PGP signature