A thought experiment. Suppose, via thought-experiment magic, that we have created the "ideal" Leo system:
- .leo files *are* our programs, when desired, and external files can also magically be created. - All synchronization problems have been solved. Without specifying the workflow, every one of us is happy with it :-) - We have the perfect undo system: simple, effective, intuitive. - We have fully integrated Leo into one or more database engines. In short, Leo is the stuff of our wildest dreams. My question: how much difference would all these innovations actually make? Would Leo suddenly (or slowly) start to take over the world? I kinda doubt it. I could describe my present excitement about Leo this way: **Leo doesn't have to get better**. Alternatively, it is *already* possible for me to connect to the entire cool world of programming with Leo just as it is. Leo will always remain the center of my programming world, but now I have the *immediate* opportunity to bind Leo to cool projects like LaTeX, Blender, IPython, Spyder, etc. These bridges are "little" projects, but for sure they *will* make a difference. Each night I am writing short, simple and useful scripts "just for fun". Last night I brought the leoOPML plugin into the one-node world. Tonight I may write a script that will, as somebody suggested awhile ago, check Leo's settings for consistency. The script will check that all settings in leoSettings.leo match one or more instances of x.config.getX in Leo's core or plugins. And vice versa. This is a straightforward text search. Even larger projects will leave Leo relatively unchanged. For example, the new-lint project will morph into a set of tools for checking the textual consistency of various aspects of Leo. The first script might just check all instances c.x in Leo's core, ensuring that x is a member of the Commands class. In short, while I love blue-sky dreams, what keeps me working long hours (longer than I have ever worked before) is an excitement that is rooted in small projects. 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.
