Possibility to connect to a remote Texera server

[Yicong-Huang]

I see that it currently connects to a local Texera. I wonder if you can make the target Texera server configurable, such that the user can choose where/which texera (or more specifically, which Computing Unit) it is connecting to?

[mengw15]

Thanks for the suggestion! I’ll update the client so that the WebSocket endpoint uri is configurable by user.