669670671672673674675676677678679
if (editorRef == null) { return; } WorkbenchPage p = ((WorkbenchPartReference) editorRef).getPane() .getPage(); p.closeEditor(editorRef, true); } void save(IProgressMonitor monitor) { if (editorRef == null) { return;