>>>>> "Juergen" == Juergen Vigna <[EMAIL PROTECTED]> writes:
Juergen> On 08-Mar-2000 Jean-Marc Lasgouttes wrote:
>> Is that really a good thing?
>>
Juergen> Well it does not have ANY space-handling yet :)
Juergen> I would say that it depends on the type of inset if we have
Juergen> spacehandling ore not. IMO that the ERT inset should not have
Juergen> any space-handling as this is LaTeX code and I CAN write as
Juergen> many spaces as I want inside LaTeX code, also between words.
Juergen> For the rest this has to be implemented, but I don't know the
Juergen> best and cleanest way to realize this. There are also a lot
Juergen> of othere "Normal" text features which are to be implemented
Juergen> (Cut/Paste for example!)
Then we should probably not use those insets yet, in particular for
things like footnotes...
JMarc
