Searched refs:propertiesFilter (Results 1 – 1 of 1) sorted by relevance
29 private propertiesFilter: TreeNodeFilter = UiTreeUtils.makePropertyFilter(''); property in PropertiesPresenter68 this.propertiesFilter = UiTreeUtils.makePropertyFilter(filterString);106 const predicatesKeepingChildren = [this.propertiesFilter];