EditorOptionManager getEditorOptionManager() {
		return editorOptionMgr;
	}
Gets the manager for the data type editor options.
@return the option manager
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/datamgr/editor/DataTypeEditorManager.java