[ jEdit-devel ] [ jedit-Plugin Bugs-3590583 ] Console: Can't disable error patterns

Plugin Bugs item #3590583, was opened at 2012-11-27 20:14
Message generated for change (Tracker Item Submitted) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3590583&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: Alan Ezust (ezust)
Assigned to: Nobody/Anonymous (nobody)
Summary: Console: Can't disable error patterns

Initial Comment:
I'm trying to debug sshconsole and i wanted to test it without any error pattern checking at all.
But it seems that once I remove all the error patterns from the list in console - plugin options - error patterns, and click "ok", then I go back into plugin options, they all come back! 


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

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