Superclass: Morph

Class definition of MenuMorph in lively/Widgets.js:2292


Class static extension of MenuMorph in lively/Widgets.js:2667