On Fri, Mar 24, 2006 at 08:44:46PM +0100, Georg Baum wrote: > Am Freitag, 24. März 2006 20:22 schrieb Martin Vermeer: > > That would be this patch. > > > > Unless anyone sees a problem, this goes in soon. > > I don't see why the deleted lines in ERT are no longer necessary. Could > you please explain?
Hmmm, yes you're right. This only covers the case of inserting an inset, not manually pasting... The thinking goes on. - Martin
pgpVUFRQSTDl1.pgp
Description: PGP signature
