I looked into this further and, at this time, Edward is right, you can't easily mix Python with the JavaScript-based Visual Code. Paring things down and translating into JavaScript is way too ambitious. There are a few projects that are taking aim at allowing browser based technology to be coupled to Python, (and other languages), but such stuff is down the line.
As others have mentioned elsewhere, I think the thing to do is give Leo the ability to use neovim as an editor alternative. I'll talk more about that in another post. On Thursday, September 1, 2016 at 8:27:53 PM UTC-4, Edward K. Ream wrote: > > > > On Mon, Aug 22, 2016 at 8:18 PM, 'tfer' via leo-editor < > leo-e...@googlegroups.com <javascript:>> wrote: > > There have been some discussions in the past on what we might do to make >> Leo more popular. I've recently had some time out in the woods and was hit >> with a tack that just might do that. >> >> > > [snip] > > So here is what I'm proposing, make Leo into a plug-in for Visual Code. >> We'd need to pare down Leo, dropping the Qt code and using html and >> JavaScript to build a Outline pan >> e. >> > > This is a big question, and one that has been discussed partially > before. We could probably list dozens of sub-items that might be of > interest. > > I have only a few minutes now, but I'd like to say what I think is the > most important message, namely that doing such a thing is > > 1. A very big project and > > 2. A project that has the potential to do more harm than good. > > 3. There may be better alternatives, or not. > > Point 1 should be obvious to any programmer. Just picking a reasonable > widget set could easily become a full-time job. > > Point 2 is debatable. I'm not asserting that it is true, but I would be > surprised if it weren't true. > > Again, this is a huge question. I would suggest that people think > carefully of the consequences. > > 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 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.
