+ if (log.isDebugEnabled())
+ log.debug("doSave called");
+ // for (int i = 0; i < getPageCount(); i++) {
+ // IEditorPart editor = getEditor(i);
+ // if (editor != null)
+ // editor.doSave(monitor);
+ // }
+ findPage(DefaultUserMainPage.ID).doSave(monitor);