On Wednesday, July 12, 2017 at 7:05:34 AM UTC-5, Edward K. Ream wrote: When I get to the end of a search, wrapped or not, I expect to stay in the > node that last matched. This is the way Leo has always worked, and I > personally do not want to "privilege" the > original starting point. > ...
> And I wouldn't mind getting rid of the new code. > I should mention that the new behavior (and the new code we are talking about), only applies when wrap-around searches are in effect. The proposed new setting might apply to both wrapped and non-wrapped searches. We could even have (oh horror) two settings. But I would like to avoid new settings altogether. Please let us know your opinions. Edward -- 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.
