protected void updateModelFilter() {
		filter = filterProvider.getFilter();
		if (filter != null && !ignoredNodes.isEmpty()) {
			filter = new IgnoredNodesGtreeFilter(filter, ignoredNodes);
		}

		// Normally this call is made from the update manager, which means we do not need to stop
		// it manually.  However, this method may be called directly by the tree.  In that case,
		// we will be performing a filter now, so there is no need to allow the update manager
		// to keep buffering.
		filterUpdateManager.stop();

		if (lastFilterTask != null) {
			// it is safe to repeatedly call cancel
			lastFilterTask.cancel();
		}

		lastFilterTask = new GTreeFilterTask(this, filter);

		if (isFilteringEnabled()) {
			worker.schedule(lastFilterTask);
		}
	}
Signals that any multithreaded work should be cancelled.
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/GTree.java