private Options[] getEditableOptions() {
		return tool.getOptions();
	}
Restore Options objects using the given XML Element.
@param root element to use to restore the Options objects
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/mgr/OptionsManager.java