void setOptionsPropertyChangeListener(PropertyChangeListener listener) {
		this.propertyChangeListener = listener;
	}
This listener will be notified when changes are made that need to be applied.

@param listener The listener to be notified.
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/options/OptionsGui.java