setTitle(ivyFileEditorInput.getFile().getName());
}
void createPageXML() {
try {
xmlEditor = new XMLEditor();
xmlEditor.setFile(((IvyFileEditorInput) getEditorInput()).getFile());
int index = addPage(xmlEditor, getEditorInput());
setPageText(index, xmlEditor.getTitle());
} catch (PartInitException e) {
ErrorDialog.openError(getSite().getShell(), "Error creating nested text editor", null,