Superclass: BoxMorph

Class definition of MiniMapEntryMorph in lively/Widgets.js:6078