sigourney
sigourney copied to clipboard
Reconnect if WS disconnects
This is non-trivial.
After a re-connect, the front end would need to reconstruct the entire patch by sending messages to the back end. Not a huge deal, but I want to think more about the relationship between the ui package and the javascript code before fixing this.