On 07-Dec-2001 Andre Poenitz wrote:
>
> I just wondered:
>
> 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?
Jug
--
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
Dr. Jürgen Vigna E-Mail: [EMAIL PROTECTED]
Italienallee 13/N Tel/Fax: +39-0471-450260 / +39-0471-450253
I-39100 Bozen Web: http://www.sad.it/~jug
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
Mitchell's Law of Committees:
Any simple problem can be made insoluble if enough meetings are
held to discuss it.
