The GUI now automatically reconnects to the websocket after a connection has been lost.
Closes #109
#patch
This release is based on pull request #142 and has been published by release job 16323119741.
The GUI now automatically reconnects to the websocket after a connection has been lost.
Closes #109
#patch
This release is based on pull request #142 and has been published by release job 16323119741.