|
From: Alan E. <ez...@us...> - 2017-01-27 16:18:10
|
--- ** [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. |