>
> I see only one potential problem with this: the positions stored in
> the error list will be invalid after insertion of characters in the
> document, but I am not sure if this is a large problem.
>
Well as much as I know (X)Emacs goto-next-error has the same problem
if you update the source and add lines then it is not anymore able to
find the right one, but maybe we could store the paragraph-id somewhere
so that it is only a relative pos to this paragraph and so it would just
not find the right position in the changed paragraph but would in others!
Jürgen
--
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
Dr. Jürgen Vigna E-Mail: [EMAIL PROTECTED]
Italienallee 13/N Tel/Fax: +39-0471-450260 / +39-0471-450296
I-39100 Bozen Web: http://www.sad.it/~jug
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
There is only one way to be happy by means of the heart -- to have none.
-- Paul Bourget
