@Override
	public void closed(EditorProvider editor) {
		editorList.remove(editor);
	}
EditorListener method that gets called whenever an editor is closed.
@param editor the data type editor that closed
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/datamgr/editor/DataTypeEditorManager.java