add a new onKeyDown handler to HTML