Superclass: lively.ide.BrowserNode

Class definition of lively.ide.NamespaceNode in lively/ide/SystemBrowserNodes.js:162