#1038 ErrorList: still pops up when those events are disabled

None
closed-duplicate
nobody
None
5
2014-07-30
2008-07-18
No

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 !

Discussion

  • Alan Ezust

    Alan Ezust - 2014-07-30

    It looks like shlomy fixed this already in ErrorList 2.2
    See (my) duplicate ticket: http://sourceforge.net/p/jedit/plugin-bugs/1247/
    I am unable to reproduce.

     
    Last edit: Alan Ezust 2014-07-30
  • Alan Ezust

    Alan Ezust - 2014-07-30
    • status: pending-fixed --> closed-duplicate
     

Log in to post a comment.