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