[ jEdit-devel ] [ jedit-Plugin Bugs-3468408 ] TaskList 2.4 should use jEdit's task monitor

[SourceForge.net <no...@so...>]

Plugin Bugs item #3468408, was opened at 2012-01-02 06:32
Message generated for change (Comment added) made by kpouer
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3468408&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Matthieu Casanova (kpouer)
Assigned to: Nobody/Anonymous (nobody)
Summary: TaskList 2.4 should use jEdit's task monitor

Initial Comment:
Hi,
I don't understand why the Tasklist plugin do not use the jEdit task api. is there a reason ?

----------------------------------------------------------------------

>Comment By: Matthieu Casanova (kpouer)
Date: 2012-01-02 08:27

Message:
No, if it is not new, there is no reason to refactor everything.
The benefit of using that api is that everything is monitored in one place,
but unless you really want to do it, it is not mandatory at all, only a
suggestion.

----------------------------------------------------------------------

Comment By: Dale Anson (daleanson)
Date: 2012-01-02 08:21

Message:
The simple reason is that TaskList was developed several years before the
jEdit task api was available. Is there a compelling reason to modify
TaskList to use the task api?

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3468408&group_id=588