if (m_nSaveAsStatus == SAVE_AS_CANCELLED) {
m_nSaveAsStatus = SAVE_AS_NOT_IN_PROGRESS;
return;
}
// should only do if editorInput is new
FileEditorInput newEditorInput = (FileEditorInput) sourceTextEditor.getEditorInput();
// if(old)
setInput(newEditorInput);
firePropertyChange(PROP_INPUT);
// setTitle(newEditorInput.getFile().getName());
setPartName(newEditorInput.getFile().getName());
// this next does NOT seem to change the overall page title
firePropertyChange(PROP_TITLE);
finishSave(null, modelOK);
}