public void dispose() {
		propertyChangeListener = null;
		editorInfoList.clear();
	}
Creates a panel for editing the given options.
@param title The title of the options panel
@param options The options to display
@param optionNames The list of option names
@param editorStateFactory The EditorStateFactory
Ghidra/Framework/Docking/src/main/java/docking/options/editor/OptionsEditorPanel.java