var keydown_keysym = null;
var keypress_keysym = null;
- function fireKeyPress() {
+ function handleKeyEvents() {
// Prefer keysym from keypress
var keysym = keypress_keysym || keydown_keysym;
// Defer handling of event until after any other pending
// key events.
if (!deferred_keypress)
- deferred_keypress = window.setTimeout(fireKeyPress, 0);
+ deferred_keypress = window.setTimeout(handleKeyEvents, 0);
};
// Defer handling of event until after any other pending
// key events.
if (!deferred_keypress)
- deferred_keypress = window.setTimeout(fireKeyPress, 0);
+ deferred_keypress = window.setTimeout(handleKeyEvents, 0);
};