On Fri, Dec 07, 2001 at 11:09:38AM +0100, Juergen Vigna wrote: > > Should there be a conceptually difference between a TextInset and an > > ERTInset except that the latter does not escape LaTeX's fancy characters? > > (and maybe typewriter fonts on screen by default etc) > > InsetERT IS basically a InsetText! What exactly did you think?
Well, InsetText can have nested insets, so we could have "real" labels in InsetERT, real math etc... Andre' -- André Pönitz .............................................. [EMAIL PROTECTED]
