boolean closeEditor(EditorProvider editor, boolean allowCancel) {
		if (checkEditor(editor, allowCancel)) {
			dismissEditor(editor);
			return true;
		}
		return false;
	}
Checks for editor changes that have not been saved to the data type and prompts the user to save
them if necessary. It then closes the editor.
@param editor the editor we want to close.
@param allowCancel true indicates that the user can cancel the editor close when prompted
for whether to save changes or not.
@return true if the editor is closed.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/datamgr/editor/DataTypeEditorManager.java