EditorSaver
54555657585960616263
return (page != null) && page.isDirty(); } private void savePageAndRun(Editor page) { assert page.isDirty(); EditorSaverResult result = pageSaver.saveEditor(page); if (result.wasSaved(page)) { runJob(); } }