[ jEdit-devel ] Re: ErrorList CVS version

[<dmo...@gm...>]

Hello Slava,

I wrote:
> Somehow you mixed up the addError() code. Only the first of all errors
> is displayed in the tree. They are, however, all in the
> DefaultErrorSource model, because the textarea highlightens them correct
> with wavy lines.

errorModel.reload(errorRoot) is missing after the newNode has been
added.

PS: I find it annoying that the tree displays "plus" icons for errors
with extra messages, even if they have none. The following change
prevents that:

                        if(nodePath.equals(path))
                        {
                                String[] extras =3D error.getExtraMessages(=
);
                                final DefaultMutableTreeNode newNode
                                        =3D new DefaultMutableTreeNode(erro=
r,
                                                extras.length > 0);
                                for(int j =3D 0; j < extras.length; j++)
                                {
                                        newNode.add(new DefaultMutableTreeN=
ode(
                                                new Extra(extras[j]),false)=
);
                                }
                                node.add(newNode);
                                errorModel.reload(errorRoot);


Dirk.