Text inset does not have special double-space handling

2000-03-08 Thread Jean-Marc Lasgouttes
Is that really a good thing? JMarc

RE: Text inset does not have special double-space handling

2000-03-08 Thread Juergen Vigna
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 I

Text inset does not have special double-space handling

2000-03-08 Thread Jean-Marc Lasgouttes
Is that really a good thing? JMarc

RE: Text inset does not have special double-space handling

2000-03-08 Thread Juergen Vigna
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