Superclass: lively.ide.NodeFilter

Class definition of lively.ide.NodeTypeFilter in lively/ide/BrowserFramework.js:803


Class static extension of lively.ide.NodeTypeFilter in lively/ide/BrowserFramework.js:824