keyboard event in diagram.js