public void setFileFilter(GhidraFileFilter filter) {
		this.filter = filter;
	}
Sets the file filter.
@param filter the new file filter
Ghidra/Framework/Docking/src/main/java/docking/widgets/filechooser/GhidraFileChooserPanel.java