[ jEdit-devel ] [ jedit-Plugin Feature Requests-3466542 ] TaskList - Add file type mask

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

Plugin Feature Requests item #3466542, was opened at 2011-12-28 09:42
Message generated for change (Tracker Item Submitted) made by snarum-micron
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=997936&aid=3466542&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
Priority: 5
Private: No
Submitted By: Steve (snarum-micron)
Assigned to: Nobody/Anonymous (nobody)
Summary: TaskList - Add file type mask

Initial Comment:
Task List plugin has an annoying habit of spewing four or five error messages every time it scans my project, because I include some binary files in the project.  It would be nice if I could tell it to stop attempting to scan those files.  Further, it shouldn't need to scan those files at all when I have asked it to Parse Buffer, yet it spews the errors on every scan, no matter which tab I have open, or which command I give it from the menu.

I have verified that the file is correctly detected as binary mode if I try to open it, and that binary isn't checked in the Task List -> Modes pane (in fact, it doesn't even appear in the list)

TaskList 2.4
jEdit 4.5pre1
Sun Java 1.6.0_29

Files are named like xxxx.bin.




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

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