@Override
	public void setOptionsPropertyChangeListener(PropertyChangeListener listener) {
		this.propertyChangeListener = listener;

		if (optionsGui != null) {
			optionsGui.setOptionsPropertyChangeListener(listener);
		}
	}
Constructs a new ListingDisplayOptionsEditor.
@param options the options object to edit
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/options/ListingDisplayOptionsEditor.java