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 !
Log in to post a comment.