On Fri, Nov 15, 2013 at 10:35 AM, Terry Brown <[email protected]>wrote:
Changing > [settings without reloading Leo] would be a > lot more difficult. As a post script to the general technique, it's surprisingly useful to have at least one *small* Leo file that you can open quickly. I use ekr.leo, and I can open it from a console just by typing 'e'. If you don't have such a workflow you are probably wasting a lot of time with settings and whatnot. 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
