A new release of TaskList Plugin for jEdit is available. This release includes performance improvements.
posted February 21st, 2003