[ jEdit-users ] Error List not cleared with JCompiler re-compile

[Assaf U. <ass...@no...>]

Versions:
jEdit 4.0.3
ErrorList 1.2.2
JCompiler 1.5.0
Console 3.3

I've just started using jEdit a couple of days ago, and loving it.

One feature makes it a bit difficult to debug code:
When I choose JCompiler -> Compile File, Build Packages or Rebuild Packages,
all of errors from the previous compile remain on the Error List. Thus, if
think I've just fixed the errors in the source code, it's very difficult to
verify.

Is this intentional?
If so, is there any way of clearing the error list?

- Assaf