[ jEdit-devel ] [ jedit-Plugin Bugs-2021501 ] Error list still pops up when those events are disabled

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

Plugin Bugs item #2021501, was opened at 2008-07-18 15:50
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2021501&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: michel.nolard (michelnolard)
Assigned to: Nobody/Anonymous (nobody)
Summary: Error list still pops up when those events are disabled

Initial Comment:
When the tool buttons 'Toggle display of errors' and 'Toggle display of warnings' are up (i.e. not pressed) the error list plugin still shows up when an error is detected in the editor.

May be two more buttons would do the trick : "pops up on error" and "pops up on warning". This is what's provided in the Eclipse Console plugin and I find it very practical and I doubt it would hurt performances in any way.

Any way, this usability bug requires a fix.

Thanks for jEdit !

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

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