> "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> spacehandl
On 08-Mar-2000 Jean-Marc Lasgouttes wrote:
>
> Is that really a good thing?
>
Well it does not have ANY space-handling yet :)
I would say that it depends on the type of inset if we have spacehandling
ore not. IMO that the ERT inset should not have any space-handling as this
is LaTeX code and
Is that really a good thing?
JMarc
