Superclass: Model

Class definition of WidgetModel in lively/Widgets.js:3867