I implemented a filter which removes duplicate headline matches and I added a 4-space indent to body matches which makes a huge difference visually especially when there are multiple body matches.
I plan* to add a "group by parent" check box which will identify the parent of each match and then report matches in with an additional indentation under the reported parent node. *by plan I mean it might happen in a couple months, hopefully sooner :) -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.