Added an endpoint implementation for using sprotty with Xtext via a WebSocket.
Note that the code for the MessageHandler implementation would be simpler if we just concatenate all partial messages with a StringBuilder, but I chose the more efficient way of multiplexing an input stream over all message parts.
Added an endpoint implementation for using sprotty with Xtext via a WebSocket.
Note that the code for the MessageHandler implementation would be simpler if we just concatenate all partial messages with a StringBuilder, but I chose the more efficient way of multiplexing an input stream over all message parts.