fix refreshing of WebSocket checkbox when the toolbar is reopened