Added "Show Parents" option to quicksearch

2015-10-27 Thread john lunzer
This adds a further level of indentation to the quicksearch results and groups all results by their parent node. Matches in nodes at level 0 are grouped in a custom "Root" parent. "n hits" now accurately represents the number of occurrences in both headlines and bodies throughout the body.

Re: Added "Show Parents" option to quicksearch

2015-10-27 Thread 'Terry Brown' via leo-editor
On Tue, 27 Oct 2015 12:17:04 -0700 (PDT) john lunzer wrote: > This adds a further level of indentation to the quicksearch results > and groups all results by their parent node. nice - I was already finding the node level grouping useful. I added some code so Ctrl-click

Re: Added "Show Parents" option to quicksearch

2015-10-27 Thread john lunzer
Thanks for that Terry, I was going to implement something similar and may still for the delete key. My method for implementing these uses event handlers and I can make the event handler specific to a specific widget, so in this case a list widget specific event handler. But the day was getting

Re: Added "Show Parents" option to quicksearch

2015-10-27 Thread 'Terry Brown' via leo-editor
On Tue, 27 Oct 2015 16:45:13 -0700 (PDT) john lunzer wrote: > Thanks for that Terry, I was going to implement something similar and > may still for the delete key. Good idea. You can refactor the code to reuse my snippet - no need for two of us to find out that hiding the