;>> *From:* Richard Andersen <mont...@gmail.com>
>>> *To:* leo-editor <leo-e...@googlegroups.com>
>>> *Sent:* Sunday, January 31, 2016 2:37 PM
>>> *Subject:* Re: Great to see the new Nav panel showing "parent tags"
>>>
>>>
t;
>> *To:* leo-editor <leo-e...@googlegroups.com>
>> *Sent:* Sunday, January 31, 2016 2:37 PM
>> *Subject:* Re: Great to see the new Nav panel showing "parent tags"
>>
>> Edward mentioned that the change was probably made by Terry Brown, so -
eo-e...@googlegroups.com >
> *Sent:* Sunday, January 31, 2016 2:37 PM
> *Subject:* Re: Great to see the new Nav panel showing "parent tags"
>
> Edward mentioned that the change was probably made by Terry Brown, so --
> in that case -- thank you Terry for this really
From: Richard Andersen <monta...@gmail.com>
To: leo-editor <leo-editor@googlegroups.com>
Sent: Sunday, January 31, 2016 2:37 PM
Subject: Re: Great to see the new Nav panel showing "parent tags"
Edward mentioned that the change was probably made by Terry Brow
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
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...
>
>