Superclass: Widget

Class definition of WikiWorldProxy in lively/LKWiki.js:1050