We've had an excellent give and take on the subject of rich text. It's yet another example of the unusual collaboration in the Leo community.
Here, I am going to explain why I am not interested in rich text capabilities for Leo, and why I think working on same would be a distraction. 1. A rich text (wysiwyg) editor is too static. It does not lend itself to scripting in any way. Formatting data created by a rich-text editor is not easily available to scripts. 2. rST (or markdown) markup is far easier to use than using formatting icons or commands. For that reason, I would never use it. 3. No matter how unobtrusive, a widget (in the icon area) creates a mode *byte* (with arbitrarily many values). It's a major complication in practice. The ultimate realization of this approach is the Eclipse IDE, which in my opinion sucks, no matter how flashy it may seem. This mode byte is a direct "competitor" of the viewrendered plugin. One can imagine situations where being able to switch modes *in the body pane* would be more convenient than using the vr pane. For example, one would watch an @movie node in the full body pane, rather than having to expand the vr pane. But such situations are rare, and not nearly worth the complications to Leo's gui, code and user manual. To summarize, I would never use rich text editing myself. It offers little compared to the viewrendered pane. Most importantly, it will distract Leo's core developers from developing Leo in more interesting directions. Imo, those directions usually involve scripting, directly or indirectly. In short, I actively discourage Leo's developers from supporting rich text, unless someone refutes the ideas presented here. Imo, we have much more important work to do. 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
