On Tue, Oct 30, 2018 at 12:14 PM Terry Brown wrote: > What framework do you prefer? > ...
> Flexx uses web-sockets by default / exclusively, so it's probably going > to be the most solid there. > That seems important. Flexx's approach is idiosyncratic enough that you're probably stuck > with it if you use it (it translates Python to Javascript :-) but there > might be options which let you separate the transport layer. Certainly > this would be the case if you were using regular AJAX, I'm less > familiar with options for websockets. > Not sure what to think about this. I'm thinking the decision that LeoWapp will use websockets is fine, but > you won't always see the performance benefits of websockets over AJAX. > Performance is a secondary consideration. Imo, websockets is the only thing that could possibly work in a natural manner. Before I knew of websockets I considered several alternatives using ajax. All of them seem like Rube Goldberg machines. I say this because Leo is definitely not your typical web app. If we are to bring *full* Leo to the browser, then we have to allow Ctrl-b and @button scripts. That is, we must have true, two-way, communication between Leo's core and the browser, with browser gui code standing in the middle. Leo's scripts (and Leo's core) know nothing about which gui is in effect, but they may well do things that affect the gui. Without websockets we will probably have to kludge up some kind of standard interaction between scripts, Leo and the browser. With websockets we can just let interactions happen when they happen. I'm not being overly clear here, but I think the Leo's gui layer would be straightforward with web sockets and difficult or impossible without. 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
