Superclass: BoxMorph

Class definition of TitleTabMorph in lively/Widgets.js:4493