On Sun, Feb 25, 2018 at 8:57 AM, Zoom.Quiet <[email protected]> wrote:
Hummm.. IMHO: > - theme is important for developer > - but easy switch theme is not big things > - because if someone always switch theme for show > must one designer not developer, > when i config love theme, never ever change it, > because in new theme, will odd my debug speed. > Showcasing good-looking, easy to find and install themes is important. It's what people see first and what they want to customize first. > IMHO: > Leo's outline is better than TAB system, > Yes, and more flexible. I just wanted to point out an excellent user interface. > > > 4. It may be possible to use the jupyter servers/kernels in some clever > way, > > without re-imagining all of Leo ;-) > > > > of course, this is the biggest reason for IPython:NB upgrade as Jupyter: > SEE: > Four Ways to Extend Jupyter Notebook - Parente's Mindtrove > https://mindtrove.info/4-ways-to-extend-jupyter-notebook/ > Jupyter Notebooks as RESTful Microservices - IBM Emerging Technologies Blog > http://blog.ibmjstart.net/2016/01/28/jupyter-notebooks- > as-restful-microservices/ > Jupyter Notebook Server API · jupyter/jupyter Wiki > https://github.com/jupyter/jupyter/wiki/Jupyter-Notebook-Server-API > Contents API — Jupyter Notebook 5.4.0 documentation > http://jupyter-notebook.readthedocs.io/en/stable/ > extending/contents.html > jupyterhub/jupyterhub: Multi-user server for Jupyter notebooks > https://github.com/jupyterhub/jupyterhub > ... > > in fact, Jupyter can usage as one friendly distributed computer platform... > > that means, Leo can publish self JupyterHub server as: > http://ipynb.leoeditor.com/ > > so when Leo trigger from some commands; > will transform nodes as JSON sent the Jupyter backend > [server].; > echo the running result as JSON; > rebuild GUI as new contents. > > of course: > JupyterHub can running local host also. > with Leo Server Extensions, echo Leo edit action. > Many thanks for all these ideas and links. I'll study them closely. 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.
