I got a hint from stackoverflow which suggests to use htmlAttribute to add an keyup listener.
But using Element.htmlAttribute looks awkward. Not only it need a lot more code, you need also define a do-nothing Message tag for the original onChange of the Element.Input.text as it’s mandatory.
Is there a better way?