On Thursday, June 29, 2017 at 4:57:04 AM UTC-5, Edward K. Ream wrote: > > On Wednesday, June 28, 2017 at 11:53:42 AM UTC-5, vitalije wrote: >
So Leo opens *two* documents (the settings files) before opening ekr.leo, > and then Leo reads ekr.leo twice. > > Is it really necessary? It is if we insist on present scheme for dealing >> with settings. OTOH if Leo document was database it could contain all >> settings in one place and even if we want to have settings per machine/per >> user/ per folder and per document it can be done with no effort. We simply >> need to open and attach several databases. Sqlite allows that out of the >> box. >> > > Or Leo could cache leoSettings.leo and myLeoSettings.leo, pretty much as > described in #511 <https://github.com/leo-editor/leo-editor/issues/511>. > The cache could even be a sqlite db. > I've just added caching to the list of items to be handled by the renamed #510: improve how Leo handles settings <https://github.com/leo-editor/leo-editor/issues/510>. 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.
