Last summer I had this idea of using another open source editor and adding features unique to Leo. I did considered several editors implemented in browser or browser-like environment. That includes Atom, but also LightTable, NightCode, and few others. Even old jEdit came to my mind.
All these editors offer writing some kind of extension or plugin. After a while I thought that easiest way to connect the two is implementing some kind of special file system. In this (let's call it LeoFS), filenames are gnxes and file content is the body or maybe (headline + '\n' + body). All these editors have some kind of tree representation of the file system which can be enhanced to draw Leo icons and headlines instead of filenames. When they update file, LeoFS would update corresponding body. LeoFS could be easily implemented using leoBridge. The main challenge would be to find some kind of multi platform python library for implementing file system. I don't remember if I had search for such a thing or not. I remember reading about fuse (pyfuse, or something similar). By the way jEdit has its own internal file system interface which allows users to just plug-in their own implementation and it works well on Linux, Windows and Mac. jEdit also supports scripting in several languages including python(jython). I realized through these (thought) experiments, that the one thing that makes Leo best editor for me is not its code, editing features, look, ..., but this brilliant idea *at-others* and also scripting. Scripting is something that lot of other text editors support, but* at-others* is uniquely Leo's. Add support for at-others to any other scripting text editor and you've got Leo. I am amazed how no one has implemented such feature in any other editor yet. Due to the lack of time I had to abandon this idea but it still burns in the back of my head waiting for a better time to be realized. Vitalije -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
