Yeah - I believe that Theia is adding support for these notebook APIs here as well: https://github.com/eclipse-theia/theia/pull/7908
I feel like there are two potential connection points:
- Build (some?) JupyterLab components on top of Theia components
- Help build open notebook extensions / APIs / etc in Theia
It seems like #2 is more doable. I’d love to see more notebook / data-science development in Theia that was then brought into VSCode, rather than the other way around, since Theia (to me) has a much better governance and vendor-agnostic model.
(I should also note that I am not a UI/UX person so have no idea how difficult integrating with Theia would be )