On Wed, Jul 12, 2017 at 6:55 AM, vitalije <[email protected]> wrote:

> Personally, I don't use Leo's search commands. I get used to search in Nav
> tab (quicksearch). While trying to fix issue #457
> <https://github.com/leo-editor/leo-editor/issues/457> I stated my
> expectation about how search commands should behave. When I wrote code to
> fix the issue I also wrote code to change behavior of search commands to my
> expectations. However, there are users who found this new behavior annoying
> and there is suggestion to add some setting to choose which of behaviors
> user prefer.
>

​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.  For me, it means nothing.

We never argue about preferences, so we could add a setting if someone
prefers the new way.  But let's not add this setting someone wants (or
thinks they want) the new way.  And I wouldn't mind getting rid of the new
code.

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.

Reply via email to