public void setSecondaryFilter(TableFilter<ROW_OBJECT> tableFilter) {
		this.secondaryTableFilter = tableFilter;
		filterUpdater.updateLater();
	}
Sets a secondary filter that users can use to filter table rows by other criteria other than
the text typed in at the bottom of a table.  This filter is an additional filter that will
be applied with the typed text filter.
@param tableFilter the additional filter to use for the table.
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/GTableFilterPanel.java