websockets minor improvements
UI: sync notifications through websockets #155