>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> So! Did anyone test it? (the cursor decides which paragraph you
Lars> operate on)

It seems to work, except for one thing: if I set one paragraph to
double spacing and after that set the whole document to double
spacing, then the latex output will contain a
\begin{spacing}...\end{spacing} around the environment. 

JMarc

Reply via email to