fix IE10 WebSocket issues, one more WPopupMenu issue and double click event handling