Superclass: Widget

Class definition of lively.ide.BasicBrowser in lively/ide/BrowserFramework.js:3