365366367368369370371372373374375
public void doSave(IProgressMonitor monitor) { sourceEditor.doSave(monitor); for (Object obj : pages) { if (obj instanceof IConfigEditorPage) { IConfigEditorPage page = (IConfigEditorPage) obj; page.doSave(monitor); } } } /**