[ jEdit-devel ] [ jedit-Plugin Patches-1854413 ] [Console] fix bug in capture of extra line for error

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

Plugin Patches item #1854413, was opened at 2007-12-19 21:56
Message generated for change (Settings changed) made by kpouer
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=997937&aid=1854413&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: David Bernard (dwayneb)
Assigned to: Alan Ezust (ezust)
Summary: [Console] fix bug in capture of extra line for error

Initial Comment:
CommandOutputParser add Error just after creation, so extraMessages aren't injected into ErrorList (doc set explicitly that adding extra must be done before adding Error).



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

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