public void refilterLater(GTreeNode newNode) {
		if (!isFilteringEnabled || filter == null) {
			return;
		}

		// non-leaf nodes may have children that would require filtering
		if (!newNode.isLeaf() || filter.acceptsNode(newNode)) {
			filterUpdateManager.updateLater();
		}
	}
Re-filters the tree if the newNode should be included in the current filter results. If the
new node doesn't match the filter, there is no need to refilter the tree.

@param newNode the node that may cause the tree to refilter.
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/GTree.java