I am running jEdit 4.2pre5 and a fairly minimal set of plugins at present. While the pre5 version of jEdit is quite stable in my day-to-day use, I really miss the functionality that the Task List plugin gave me in 4.1. My understanding is that the Task List plugin depends upon the Whitespace plugin, and that the 4.2 API changes in jEdit are what caused the Task List/Whitespace plugin combination to quit working. I have been checking for updates (both manually on the Web site and through the Plugin Manager interface in jEdit), but haven't seen anything updated. The Plugin Manager lists 0.9.1 and 0.4.2 for Whitespace and Task List, respectively.

Is there a timeline for an updated version of the Task List that will work with pre5?

Thanks!

--
Ron Stewart
stewrp@inel.gov