void onChange ()
An event-handler callback function, called when the content of the element has been changed