Superclass: Widget

Class definition of lively.ide.FileBrowsing.Browser in lively/ide/FileBrowsing.js:3