public void setPreferredFilterOptions(FilterOptions filterOptions) {
		optionsSet = true;
		filterFactory = new GTreeFilterFactory(filterOptions);
		updateModelFilter();
	}
A method to allow clients to change the current filter settings to something they would like
for their particular use case.  This differs from {@link #setFilterOptions(FilterOptions)} in
that this method will also disable saving any changes the user makes to the filter.  If you
do not need to disable preference saving, then call the other method.
<p>
This method disables preference saving with the assumption that some clients always wish the
filter to start in the same preferred state instead of where the user last left it.
It is not clear  why we do that, but it is probably based on the assumption that the API 
client wants the filter to always start in the preferred state.  The prevents filter from 
being restored with a previous user filter that does not make sense for the general case.

@param filterOptions the options
@see #setFilterOptions(FilterOptions)
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/DefaultGTreeFilterProvider.java