private void setAppliedTableFilter(TableFilter<ROW_OBJECT> tableFilter) {
		if (tableFilter == null) {
			// null means there was no change to the text filter--so don't set it (see the
			// javadoc for the filter variables)
			return;
		}

		this.tableFilter = pendingTableFilter;
		this.pendingTableFilter = null;
	}
Sets the given <code>TableFilter</code> on this model.  This table filter will then be used
by this model in the default {@link #doFilter(List, TableSortingContext, TaskMonitor)}
method.
@param tableFilter The filter to use for table filtering.
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/threaded/ThreadedTableModel.java