private void saveSymbolMergeOption(Options options, ProgramMergeFilter defaultApplyFilter,
			int setting) {
		SYMBOL_MERGE_CHOICE defaultSetting = SYMBOL_MERGE_CHOICE.MERGE_AND_SET_PRIMARY;
		SYMBOL_MERGE_CHOICE optionSetting = options.getEnum(getOptionName(setting), defaultSetting);
		SYMBOL_MERGE_CHOICE diffSetting = getSymbolMergeEnum(defaultApplyFilter);
		if (!diffSetting.equals(optionSetting)) {
			options.setEnum(getOptionName(setting), diffSetting);
		}
	}
Saves the indicated merge filter as the default apply settings.
@param defaultApplyFilter merge filter indicating default apply settings.
Ghidra/Features/ProgramDiff/src/main/java/ghidra/app/plugin/core/diff/DiffApplySettingsOptionManager.java