Error indication in text editor is cleared even though the error is still present

[magjac]

If neither the error message nor the line number changes when the DOT source is edited, the error indication is removed, although the error is still present.

A workaround is to add or delete a line in the beginning of the DOT source, which forces the line number to change.

The reason for this bug seems to be that the Ace editor clears the annotations internally and the React Ace Component does not update them if they are not changed, see the source code.

[magjac]

Related to securingsincity/react-ace#129?

[magjac]

The incorrect clearing seems to be initiated only when pressing the enter key on the line where the error is.

The workaround suggested in https://stackoverflow.com/questions/25903709/ace-editors-setannotations-wont-stay-permanent does not work.

[magjac]

The implemented fix does not prohibit the incorrect clearing to occur, but the error indication is brought back almost immediately (after the user-configurable editor hold-off time).