[ jEdit-devel ] [jedit:plugin-feature-requests] #380 ErrorList: Handling of error nodes from curren

---

** [plugin-feature-requests:#380] ErrorList: Handling of error nodes from current editing file**

**Status:** open
**Group:** 
**Created:** Fri Jan 27, 2017 04:18 PM UTC by Alan Ezust
**Last Updated:** Fri Jan 27, 2017 04:18 PM UTC
**Owner:** nobody


If there are errors from multiple files, I think the ones from the currently editing file should be more prominent than the others, so they should either show up under the first node in the tree, and/or it should be auto-expanded...




---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.