void setFindOptions(Set<FindOption> findOptions) {
		ignorePdbAge.setSelected(findOptions.contains(FindOption.ANY_AGE));
		ignorePdbUid.setSelected(findOptions.contains(FindOption.ANY_ID));
	}
Displays the results of a 'find' operation in a table.
Also allows the user to tweak search options.
Ghidra/Features/PDB/src/main/java/pdb/symbolserver/ui/SymbolFilePanel.java