editor: implement websocket ping-pong
editor: implement websocket close