Superclass: BoxMorph

Class definition of SelectionMorph in lively/Widgets.js:823