There is also another possibility that seems to me that would be best thing to do. Simply let us turn this new code in new command search-return-to-origin. Search commands should retain behavior as it was and if someone wants to return to where search has started, it is easy to execute one command. If used often, it is easy to add shortcut and everything is fine.
Vitalije -- 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.
