Superclass: DragnDropListMorph

Class definition of FilterableListMorph in lively/Widgets.js:2086