void setDiffFilter(ProgramDiffFilter filter) {
		diffFilter = new ProgramDiffFilter(filter);
		diffBytes = diffFilter.getFilter(ProgramDiffFilter.BYTE_DIFFS);
		diffLabels = diffFilter.getFilter(ProgramDiffFilter.SYMBOL_DIFFS);
		diffCodeUnits = diffFilter.getFilter(ProgramDiffFilter.CODE_UNIT_DIFFS);
		diffReferences = diffFilter.getFilter(ProgramDiffFilter.REFERENCE_DIFFS);
		diffProgramContext =
			pgmContextEnabled && diffFilter.getFilter(ProgramDiffFilter.PROGRAM_CONTEXT_DIFFS);
		diffComments = diffFilter.getFilter(ProgramDiffFilter.COMMENT_DIFFS);
		diffBookmarks = diffFilter.getFilter(ProgramDiffFilter.BOOKMARK_DIFFS);
		diffProperties = diffFilter.getFilter(ProgramDiffFilter.USER_DEFINED_DIFFS);
		diffFunctions = diffFilter.getFilter(ProgramDiffFilter.FUNCTION_DIFFS);
		diffSourceMap = diffFilter.getFilter(ProgramDiffFilter.SOURCE_MAP_DIFFS);
		adjustDiffFilter();
	}
Sets the diff tool filter settings.
@param filter the new diff Filter settings.
Ghidra/Features/ProgramDiff/src/main/java/ghidra/app/plugin/core/diff/ExecuteDiffDialog.java