private void createPropertiesCheckBox() {
		diffPropertiesCB = new GCheckBox("Properties", diffProperties);
		diffPropertiesCB.setName("PropertiesDiffCB");
		diffPropertiesCB.getAccessibleContext().setAccessibleName("Property Differences");
		diffPropertiesCB.setToolTipText("Highlight user defined property differences. " +
			"(for example, Format (space) differences)");
		diffPropertiesCB.addItemListener(event -> {
			diffProperties = (event.getStateChange() == ItemEvent.SELECTED);
			diffFilter.setFilter(ProgramDiffFilter.USER_DEFINED_DIFFS, diffProperties);
			clearStatusText();
		});
	}
Create a panel for the checkboxes to indicate the filter settings.
Ghidra/Features/ProgramDiff/src/main/java/ghidra/app/plugin/core/diff/ExecuteDiffDialog.java