On Thu, Nov 24, 2016 at 2:24 PM, Kent Tenney <[email protected]> wrote:
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 similar way, the > moral equivalent of > > @button make-md-heads > from leodoc.leo import make-md-heads > Interesting comparison. Alas, there is a gotcha: if we *know* the name of some @button or other script, we can surely find it. The problem is that we need to be reminded how to find it... > > 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. > Imo, documentation has to be a big part of the answer. Your analogy with the python libraries is apt. How useful would they be without documentation? 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!! > I agree, but "clever" solutions are likely to be faux solutions. My interim approach is to document things on leo-editor as I go along, with the understanding that this is pre-writing for better docs later. Back to the analogy with the python library. The library is organized by module, with everything in a module being related somehow, and with strong documentation for each module. To really be useful, we must have the same for Leo's important snippets. There aren't going to be great shortcuts. Tagging isn't a substitute for full-fledged module-like docs. In short, there is plenty of work to do. 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.
