On Jul 1, 7:40 am, "Edward K. Ream" <[email protected]> wrote:

> At least two problems remain:

Both appear to have been fixed.

However, it looks like there is a serious problem with caching: Leo
isn't re-reading external thin files that clearly have been changed.
If I disable caching Leo reads the updated files properly, but with
caching enabled Leo doesn't.

This is just annoying in the present situation: it's easy to disable
caching.  But clearly, something is very wrong.

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