Superclass: BoxMorph

Class definition of ButtonMorph in lively/Widgets.js:45