Use the host application's server connection settings

[bollwyvl]

Elevator Pitch

Allow non-JupyterLab applications to override the server connection settings used for fetching status and creating WebSockets.

Motivation

Apps that aren't a full JupyterLab often need to do extra things to serverSettings to communicate (or not) with a server properly.

Specifically, jupyterlite

jupyterlite-lsp (real broken right now) can almost demonstrate providing mock WebSockets, but needs nasty hacks. Unfortunately, even with these hacks, I haven't yet been able to demonstrate one server working due to WebPack issues 😿 .

Design Ideas

• use serverSettings: app.serverManager.serverSettings in more places
• hand this down to the connection manager, and use that instead of new WebSocket