Edward mentioned that the change was probably made by Terry Brown, so -- in that case -- thank you Terry for this really nice enhancement to the Nav area (quicksearch.py).
-Richard On Sunday, January 31, 2016 at 9:28:18 AM UTC-8, Richard Andersen wrote: > > Edward, > > This is awesome... > > [image: Inline image 1] > > > ... in the Jan 29th build. > > I need to experiment a bit with the drop-down options for All, Subtree, > File, Node. > > Thank you for making this change! > > -Richard > -- 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
