Fixes an error where events.key.length undefined throws exception like this:
pterm.js:440 Uncaught TypeError: Cannot read property 'length' of undefined
at pterm_process_key (pterm.js:440)
at HTMLDocument. (pterm.js:312)
at HTMLDocument.dispatch (jquery.min.3.3.1.js:2)
at HTMLDocument.y.handle (jquery.min.3.3.1.js:2)
Fixes an error where events.key.length undefined throws exception like this: pterm.js:440 Uncaught TypeError: Cannot read property 'length' of undefined at pterm_process_key (pterm.js:440) at HTMLDocument. (pterm.js:312)
at HTMLDocument.dispatch (jquery.min.3.3.1.js:2)
at HTMLDocument.y.handle (jquery.min.3.3.1.js:2)