Superclass: BoxMorph

Class definition of MiniMapMorph in lively/Widgets.js:6087