}
// Otherwise, create a new one. This may cause the new editor to
// become the visible (i.e top) editor.
IEditorReference ref = null;
ref = getEditorManager().openEditor(editorID, input, true, editorState);
if (ref != null) {
editor = ref.getEditor(true);
}
if (editor != null) {
setEditorAreaVisible(true);
if (activate) {