Superclass: BoxMorph

Class definition of PanelMorph in lively/Widgets.js:1069


Class static extension of PanelMorph in lively/Widgets.js:1151