private void ignoreFilter(GTreeNode node) {
		if (!isFiltered()) {
			return;
		}
		ignoredNodes.add(node);
		updateModelFilter();
	}
Signals that any multithreaded work should be cancelled.
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/GTree.java