User's Manual

30
e.cancelBubble = true;
return false;
}
return true;
}
// trap the keydown events
document.onkeydown = handler_down;
</script>