On Sat, Oct 21, 2017 at 6:12 PM, Matt Wilkie <map...@gmail.com> wrote:

> Found what I was looking for, http://leoeditor.com/FAQ.html#
> leo-in-shared-environments. Does anyone have other tips along the same
> lines to share?
>

​Caching can sometimes cause problems, especially when switching between
git branches.  To see if you have been bitten, ​do write-at-file-nodes
(Ctrl-Shift-W).  They should remain unchanged after load.  If not,
physically delete all caches and redo the tests.  I think there may be
subtle bugs lurking somewhere.

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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to