On Fri, 8 Jun 2018 09:16:58 -0700 (PDT) "Edward K. Ream" <[email protected]> wrote:
> Investigate whether the --no-cache command-line option is still > needed. This is a non-trivial question, because Leo caches things > like the current position, etc. It may be that only the "global" db > key will be used, but we shall see... I'm not sure about this but I've always had the impression c.db and g.db share the same infrastructure as the cache? They have various other uses in some plugins etc. - just an observation. Cheers -Terry -- 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.
