Re: Bug in docTeX mode

* David Kastrup (2005-03-09) writes:

> Take the following short document:
[...]
> Position the cursor on the -#-, deleting it.  Type C-c ].  You get
> "\end{document}" as completion of the environment.  That is not
> useful as far as I can see.

I've had a patch fixing that lying around for weeks here.  Thanks for
giving me a reason to check it in.

The change has some potential to influence performance of filling
negatively.  That means it would be good if people could have an eye
on that and report any significant performance issues and of course
other potential bugs.

-- 
Ralf