>From #leo: Revs 6332 & 6333: No clones or dead code in leoSettings.leo: structured like an .ini file. Lol leo/config/exampleSettings.leo contains example of settings. Rev 6333: enables new-style find using @bool minibuffer_find_mode = False. More work is needed, but it can be used from either the keyboard or mouse. Oh yes. There is a new start-find command. What it does depends on @bool minibuffer_find_mode. Default finding for F3 is now start-find.
Please let me know your experiences with the new find command. Edward P.S. By default, the Search menu kills the binding for Alt-S. If this bothers you, remove (or move) the & in @menu &Search. In your myLeoSettings.leo file, of course. EKR -- 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
