public FilterOptions getResultFilterOptions() {
		return resultFilterOptions;
	}
Dialog that allows the user to select options related to table filtering. It consists
of the following sections:

		Filter Strategy: 		Allows the user to define how filter terms are applied to strings. 
		Filter Options:			Various generic filter settings.
		Multi-Term Filtering:	Options defining how to interpret filter text when multiple terms
								are entered.
Ghidra/Framework/Docking/src/main/java/docking/widgets/filter/FilterOptionsEditorDialog.java