Jupyter lab extensions <https://jupyterlab.readthedocs.io/en/stable/user/extensions.html#user-extensions> are npm packages. See this page <https://www.npmjs.com/search?q=keywords%3Ajupyterlab-extension>.
LeoVue uses npm packages. See this page <https://github.com/leo-editor/leo-editor/issues/735>. So it would seem that LeoVue might form the basis of an extension that embeds Leo into Jupyter lab! 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/3f94d214-ac72-4839-93fc-9e2bfe7aa039%40googlegroups.com.
