Superclass: ButtonMorph

Class definition of ScriptableButtonMorph in lively/Widgets.js:305