On Fri, Oct 19, 2012 at 3:17 AM, HaveF <[email protected]> wrote:

> close the leo file, and reopen it. Is this the right way?

Yes.  As you say, there are other ways when you just want to reload a
few files, but "reloading Leo" is often easiest.

Please see the following FAQ entry for several tricks related to
reloading Leo: 
http://webpages.charter.net/edreamleo/FAQ.html#how-can-i-use-leo-to-develop-leo-itself

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en.

Reply via email to