Superclass: BoxMorph

Class definition of TextListMorph in lively/Widgets.js:1385