ProgramDiffFilter getDiffFilter() {
		return new ProgramDiffFilter(diffFilter);
	}
Get a copy of the diff tool filter settings.
@return the current diff Filter settings.
Ghidra/Features/ProgramDiff/src/main/java/ghidra/app/plugin/core/diff/ExecuteDiffDialog.java