It's time, imo, to begin planning for the day that I won't be around to maintain Leo. To that end, I would like to start training people to become comfortable with fixing bugs in Leo and to add Leo plugins. Yes, we already have people who have done both, but we could use more.
I would like to start encouraging people to fix bugs themselves. In many cases, the task isn't all that difficult. Learning to navigate/explore Leo's code is an excellent skill, not just for Leo, but for any project that uses Leo to maintain code. People have different learning styles, but I am convinced that learning is the best way to master any complex skill. And fixing a bug that bugs you is pretty close to the best possible motivation. I would rather spend a week teaching someone how to fix a bug in Leo than to take an hour fixing the bug myself. The former has long-term benefits, the latter only fixes the bug. I will be happy to teach people who don't know Python, and even people who don't know anything about programming at all. There are resources of the web to get anyone started, and learning in the Leo environment should be easier in some ways than learning, say, using vim or emacs. I suspect that just about anyone who is interested in Leo has the temperament and ability to program Leo with Python. Please let me know if you are interested in learning about Leo's code, how to program in Python, or how to fix a specific bug. For bug fixes, the best place to have the discussion is in the github bug page itself. In fact, the mypy people use the github bug system for *all* conversations, so please feel free to open a new bug item <https://github.com/leo-editor/leo-editor/issues> in order to start learning. I've just created a new "Leo Academy" label for all such conversations. All comments welcome. 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.
