This sounds wonderful, like so many other things which fly by in this list, making me wish for a way for me to access it 6 months from now, when I have a need for it.
Buttons and commands strike me as parallel to Python's libraries. Could they be handled in a similiar way, the moral equivalent of @button make-md-heads from leodoc.leo import make-md-heads I think that kind of pattern might be way to improve access to hundreds (thousands?) of snippets on this list I've been delighted by, only to lose track of. ############################### A few days pass, now a breakthrough on the testing front ... Leo needs a structure to standardize packaging, locating and exposing this kind of thing!! Thanks, Kent On Sun, Nov 20, 2016 at 5:57 PM, Edward K. Ream <[email protected]> wrote: > On Sun, Nov 20, 2016 at 12:08 PM, Edward K. Ream <[email protected]> > wrote: > >> I have started the process of converting the lengthy documentation for >> >> #334 <https://github.com/leo-editor/leo-editor/issues/334> to a .md file >> on GitHub. >> > > >> The new @button make-md-headers script does this automatically. >> > > This has gone through several revisions. It now changes *all* @<files> > x.md trees. Besides updating headings, it ensures that all nodes end > with a blank line so as not to interfere with following headers. > > I have put this script through its paces while creating this page > <https://github.com/leo-editor/leo-editor/blob/master/leo/doc/importers.md>. > At present it is just a dump of the posts for > > #334 <https://github.com/leo-editor/leo-editor/issues/334>. It must be > completely rewritten, but the workflow has been vindicated. > > EKR > > -- > 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. > -- 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.
