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) Andre' -- André Pönitz .............................................. [EMAIL PROTECTED]
