ResourcesPlugin.getWorkspace().addResourceChangeListener(this);
}
private void createPage0() {
try {
editor = new ParameterFileTextEditor();
addPage(0, editor, getEditorInput());
setPageText(0, "Source");
} catch (PartInitException e) {
ErrorDialog.openError(getSite().getShell(),
"Error creating nested text editor", null, e.getStatus());