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.
Since I don't use those commands I would like to know if there are any user who would actually prefer new behavior over current. If there is, I'll be glad to add setting, but if I am the only one then it would be best just to delete new code. Let me explain what behavior I had in mind. When user starts new search using Ctrl+F, and assuming that there is at least one result, Leo would show found node and select found text in body/headline. If user then executes command `find-next`, (or presses F3), search will continue from that position and after enough repeats of this command Leo would report that there are no more matches. Currently, when that happen Leo would leave selection in current node where last unsuccessful find command was issued. In new behavior, however, Leo would return user to node where search has started. For example: 1. open leoSettings.leo. 2. click headline About myLeoSettings.leo and press enter 3. press Ctrl+F 4. in Find dialog enter search criteria: `**Note**` 5. clear ignore case checkbox 6. press F3 7. Leo would show match in current node 8. press F3 five more times and you should be in last node where ` **Note**` can be found. Its headline is `@bool put_python_decorators_in_imported_headlines = False` 9. if you press F3 once again, Leo will report `not found` and currently selected node is still `@bool put_python_decorators_in_imported_headlines = False`. In new behavior, however selected node would be the one from step 2 (`About myLeoSettings.leo`). What are your preferences? Vitalije See also the discussion on issue #457 <https://github.com/leo-editor/leo-editor/issues/457> -- 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.
