@Override
		public void filterChanged(String text) {
			if (processEvents) {
				updateModelFilter();
			}
		}
Sets the options for this filter provider.
@param filterOptions the new filter options
Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/DefaultGTreeFilterProvider.java