Superclass: BoxMorph

Class definition of ScrollPane in lively/Widgets.js:2955