Searched refs:updateFilteredNodes (Results 1 – 1 of 1) sorted by relevance
996 updateFilteredNodes(document.getText(0, document.getLength())); in updateFilter()1002 private void updateFilteredNodes(String filterText) { in updateFilteredNodes() method in Workspace