Superclass: TextListMorph

Class definition of ListMorph in lively/Widgets.js:1747