Superclass: lively.ide.NodeFilter

Class definition of lively.ide.SortFilter in lively/ide/BrowserFramework.js:793