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 long and I decided to commit what I had. With the Ctrl+Click I may be too lazy to even implement the event handler...
It doesn't have to be hidden if it's documented! Even the delete key would be a hidden feature because I'm sure most people wouldn't even think to press it when in the list. On Tuesday, October 27, 2015 at 4:58:33 PM UTC-4, Terry Brown wrote: > > On Tue, 27 Oct 2015 12:17:04 -0700 (PDT) > john lunzer <[email protected] <javascript:>> 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 deletes an item and its children, based > on indentation. This seems useful, because now you know where the hits > are, you may also know you're not interested in them, and you shouldn't > have to scroll down past them to get to the ones you did want. > > Unfortunately it's a hidden feature, better would be a close widget for > each item down the right hand side of the list, but I think that would > be quite a bit more complicated, requiring an alternative list item > widget. > > Cheers -Terry > > > 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. > > > > This addition has already proven extremely useful. I'm dealing with a > > lot of subclassing and I get multiple matches from re-implementing > > empty base methods. Now my results are distinguishable and get me to > > where I want to go fast. > > > > Please let me know if you have any problems. Changes should be fairly > > well contained so I don't expect any issues. > > > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
