public void setFilterProvider(GTreeFilterProvider filterProvider) {
		this.filterProvider = Objects.requireNonNull(filterProvider);
		removeAll();
		add(mainPanel, BorderLayout.CENTER);
		JComponent filterComponent = filterProvider.getFilterComponent();
		if (filterComponent != null) {
			add(filterComponent, BorderLayout.SOUTH);
		}
		filterProvider.setDataTransformer(transformer);
		updateModelFilter();
	}
Gets the view node for the given path. This is useful to translate to a tree path that is
valid for the currently displayed tree. (Remember that if the tree is filtered, then the
displayed nodes are clones of the model nodes.)

@param path the path of the node
@return the current node in the displayed (possibly filtered) tree
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/GTree.java