On Thursday, June 29, 2017 at 4:15:38 AM UTC-5, Edward K. Ream wrote: > > #511: reload-leo command > <https://github.com/leo-editor/leo-editor/issues/511> promises to make > Leo a killer app for python development. It distills the back and forth in > this > conversation > <https://groups.google.com/forum/#!topic/leo-editor/ULV1olKE3HU>. >
I'd like to emphasize two points from #511: *The reload-leo command should be extremely fast*. Leo will read nothing from the file system. There will be no parsing of .leo files (no calls to sax) and no parsing of external files (no scanning for sentinel lines). *There should never be any need to cache settings themselves*. Caching the settings *files *should suffice. The command will reload and parse the cached settings outlines almost instantaneously. There will be no special cases relating to settings. Users can change the settings files and use reload-leo as a complete alternative to reload-settings! In other words, the recent discussion about settings is a completely separate matter. 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.
