void refreshSaveStatus(boolean isSaving) {
getMenuManager().setActionEnabled(ACTION_SAVE_PROJECT,currentFrame != null && !isSaving && currentFrame.getProject().needsSaving());
setTitle(isSaving);
FrameManager dm=getFrameManager();
if (dm!=null) dm.update(); //update project combo
}