You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since JupyterLite does not support server extensions, maybe there could be an option to do the indexing of files via calls to serviceManager.contents.get().
In JupyterLite these don't end up being real HTTP calls but function calls instead, so it could be a viable option for now.
The regular would still default to using the Jupyter Server extension, although it could use the serviceManager.contents.get() approach too if enabled.
The text was updated successfully, but these errors were encountered:
Since JupyterLite does not support server extensions, maybe there could be an option to do the indexing of files via calls to
serviceManager.contents.get()
.In JupyterLite these don't end up being real HTTP calls but function calls instead, so it could be a viable option for now.
The regular would still default to using the Jupyter Server extension, although it could use the
serviceManager.contents.get()
approach too if enabled.The text was updated successfully, but these errors were encountered: