Superclass: Morph

Class definition of WindowControlMorph in lively/Widgets.js:4540