super();
ResourcesPlugin.getWorkspace().addResourceChangeListener(this);
}
protected void setInput(IEditorInput input) {
IvyFileEditorInput ivyFileEditorInput = null;
if (input instanceof FileEditorInput) {
FileEditorInput fei = (FileEditorInput) input;
IFile file = ((FileEditorInput) input).getFile();
ivyFileEditorInput = new IvyFileEditorInput(file);
} else if (input instanceof IvyFileEditorInput) {
ivyFileEditorInput = (IvyFileEditorInput) input;
}
super.setInput(ivyFileEditorInput);
if (ivyFileEditorInput.getFile() != null) {
if (xmlEditor != null) {
xmlEditor.setFile(ivyFileEditorInput.getFile());
}
}
// deprectated but we need retro compatibility
setTitle(ivyFileEditorInput.getFile().getName());
}