Searched refs:propertiesFilter (Results 1 – 4 of 4) sorted by relevance
48 private propertiesFilter: FilterType = TreeUtils.makeNodeFilter(''); property in Presenter238 this.propertiesFilter = TreeUtils.makeNodeFilter(filterString);259 return new TreeTransformer(selectedTree, this.propertiesFilter)
43 private propertiesFilter: FilterType = TreeUtils.makeNodeFilter('');167 this.propertiesFilter = TreeUtils.makeNodeFilter(filterString);252 const transformer = new TreeTransformer(selectedTree, this.propertiesFilter)
42 private propertiesFilter: FilterType = TreeUtils.makeNodeFilter(''); property in Presenter146 this.propertiesFilter = TreeUtils.makeNodeFilter(filterString);285 const transformer = new TreeTransformer(selectedTree, this.propertiesFilter)
41 private propertiesFilter: FilterType = TreeUtils.makeNodeFilter(''); property in Presenter168 this.propertiesFilter = TreeUtils.makeNodeFilter(filterString);322 const transformer = new TreeTransformer(selectedTree, this.propertiesFilter)