Superclass: Widget

Class definition of ConsoleWidget in lively/Widgets.js:4171