On Jan 28, 6:38 pm, "Edward K. Ream" <[email protected]> wrote:
> there would be significant advantages to combining all of Leo's source files, > maybe even scripts.leo, into a single file, call it leo.leo. I'm having second thoughts this morning. There is some additional cost to putting all plugins into leoPy.leo: searches become longer. Furthermore, users may want to add plugins to leoPlugins.leo, and it would be best if that doesn't affect Leo's core in any way. And there are documentation costs for any change. And there are some conceptual advantages of keeping leoGui.py separate from leoPy.leo. So in spite of the apparent "cleanliness" of putting everything in leo.leo, I'll probably leave things as the are now. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
