implements a keep-alive for languageServer web socket, this could also be an option for xterm ws, but we never had issues here, supposedly as this uses ReconnectingWebSocket. Guacamole is also not affected, e.g., by reverse-proxy or browser killing websocket conn after some timeout as it already uses ping-pong implementation
The PR also contains an improved handling of file changes in the editor.
Removed stale and unused MonacoLanguageServerAugmentation. Maybe revisit using it later - though pretty slick to have all functionality in FileEditor.tsx
fixes #131 and thanks to new inital file state loading also #130. Remaining parts of #130 will be fixed as soon as we move away from convergence as collaboration provider for the editor
implements a keep-alive for languageServer web socket, this could also be an option for xterm ws, but we never had issues here, supposedly as this uses ReconnectingWebSocket. Guacamole is also not affected, e.g., by reverse-proxy or browser killing websocket conn after some timeout as it already uses ping-pong implementation
The PR also contains an improved handling of file changes in the editor.
Removed stale and unused MonacoLanguageServerAugmentation. Maybe revisit using it later - though pretty slick to have all functionality in FileEditor.tsx
fixes #131 and thanks to new inital file state loading also #130. Remaining parts of #130 will be fixed as soon as we move away from convergence as collaboration provider for the editor