On Fri, May 5, 2017 at 8:02 AM, Edward K. Ream <[email protected]> wrote:

​Deleting ~/.leo/workbook.leo fixed the problem for me.
>

​Strange.  Restoring the old workbook.leo to ~/.leo now works.  This
indicates that caching may have been involved.

I just deleted all of ~/.leo/db, and workbook.leo still reloads correctly.
clear-all-caches does the same, I think.

This is good news.  It means that you should be able to restore
workbook.leo if it is valuable.

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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to