On Thu, Feb 23, 2006 at 03:47:18PM +0100, Jean-Marc Lasgouttes wrote: > >>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: > > Martin> Tested and working. Not quite as trivial as 2316 though, so > Martin> someone have a look at it. > > Concerning the part the removes the blue line under the ERT, I do not > like it: > > 1/ this adds explicit test against an inset code (and we should aim at > getting rid of those) > > 2/ It makes sense to indicate that the ERT is inside a foreign > environment. Why remove it specially for ERT? > > I did not try the other part.
But that's the actual bug fix! This part is just cosmetic (and I have no strong feelings on it, except that the blue line might be confusing for some users.) - Martin
pgpZMAqWloRy2.pgp
Description: PGP signature
