Superclass: ButtonMorph

Class definition of ImageButtonMorph in lively/Widgets.js:565