On Wed, 17 Jan 2018 03:29:22 -0800 (PST) "Edward K. Ream" <[email protected]> wrote:
> Ok. I'll see what I can do. The code will be part of the > LoadManager class, with perhaps some other excursions. I plan to > have a prototype working today. Didn't read ahead far enough to see this - go for it. But I do think periodical generated .json store in the Leo code is better than fetching from the internet, and pre-rendering to HTML would let us use a more demanding renderer (syntax highlighting, etc.). 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.
