Button.onfocus() Handler

Name

Button.onfocus() Handler--- see "Element.onfocus()"