On Tuesday, February 21, 2017 at 9:24:20 PM UTC, john lunzer wrote: > > I usually use the quicksearch.py to quickly get an idea for where things > are, activating the "Show Parents" option gives more context to the search > results. > > I initially just used the search string "prior" and this gave me a ton of > results, I looked through all of them and eventually I found that the > search string "'prior'" (with the single quotes included) will produce a > smaller subset of results you're looking for. > > Grr - I looked for "Prior" (with double quotes). I forgot that Edward doesn't always use the sort-of Python convention of strings in double-quotes and characters in single quotes. Must have had a bad day and stopped searching at that point...
-- 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.
