public void setFilter(ProgramDiffFilter filter) {
		ProgramDiffFilter tmpFilter;
		if (filter != null) {
			tmpFilter = new ProgramDiffFilter(filter);
		}
		else {
			tmpFilter = new ProgramDiffFilter(ProgramDiffFilter.ALL_DIFFS);
		}
		if (!tmpFilter.equals(this.pdf)) {
			this.pdf = tmpFilter;
			filterChanged = true;
		}
	}
Sets the ProgramDiffFilter for this program diff. The filter indicates
which types of differences are to be determined.
@param filter the program diff filter
Ghidra/Features/Base/src/main/java/ghidra/program/util/ProgramDiff.java