Barbara: Nice! This is very helpful and a step in the right direction.
I look forward to discovering more steps in the journey to learning about more and more BBEdit features. Thank you for the tip. Alfredo > On Aug 20, 2018, at 9:53 AM, Barbara Snyder <[email protected]> wrote: > > Alfredo -- > > I don't know about searching the past searches, but typing the first couple > of letters navigates the list. > > -- Barbara > > > On Monday, August 20, 2018 at 7:46:58 AM UTC-7, Alfredo wrote: > Rich shared a wonderful top tip: the preferences are searchable as well. > > Has anyone found a way to search previous searches (ideally filtering by > “Search” vs. “Grep”)? > > Clicking on the history button provides a list that’s not trivial to navigate: > > > > -- > This is the BBEdit Talk public discussion group. If you have a > feature request or would like to report a problem, please email > "[email protected]" rather than posting to the group. > Follow @bbedit on Twitter: <http://www.twitter.com/bbedit > <http://www.twitter.com/bbedit>> > --- > You received this message because you are subscribed to the Google Groups > "BBEdit Talk" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/bbedit > <https://groups.google.com/group/bbedit>. -- This is the BBEdit Talk public discussion group. If you have a feature request or would like to report a problem, please email "[email protected]" rather than posting to the group. Follow @bbedit on Twitter: <http://www.twitter.com/bbedit> --- You received this message because you are subscribed to the Google Groups "BBEdit Talk" 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/bbedit.
