Superclass: lively.ide.BasicBrowser

Class definition of CodeDBRepositoryBrowser in apps/CDBBrowser.js:384