[ jEdit-devel ] How to use ErrorList

[Todd B. <tod...@ho...>]

I started working on a plugin this week to integrate the Jakarta Ant build
system into JEdit. I've got the interface to Ant working, and now I'd like
to display a list of errors that can be double-clicked on to jump to the
line where the error is.

It seems that I should be talking to the ErrorList plugin somehow. Is there
any documentation on developing for this plugin?

Thanks in advance.

Todd Breiholz