[ jEdit-devel ] [ jedit-Bugs-511145 ] Console Plugin No Reg Warning Issued

Bugs item #511145, was opened at 2002-01-31 03:13
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=511145&group_id=588

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Console Plugin No Reg Warning Issued

Initial Comment:
By using the Console Plugin - I have installed Error, 
Warning and Extra Line Reg Patterns such a way 
informations are passed to ErrorList Plugin.

Errors and extra lines are always passed to ErrorList 
Plugin but never any warnings. I noticed from my 
console output session - warning reg lines are not 
treated (they are not red colored).

This has been seen in jEDIT 4.0pre3-4 but it was not 
tested under jEDIT 3.2.2.




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

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=511145&group_id=588