public void setFilterOptions(FilterOptions filterOptions) {
		this.filterOptions = filterOptions;
		updateFilterFactory();
		filterUpdater.updateLater();
	}
Sets the filter options used by the filter factory. The options are items like "starts with",
"contains", "regex", etc.
@param filterOptions the filter options to be used by the filter factory.
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/GTableFilterPanel.java