void (boolean onlyIfEmpty) { if (myEditorDiffPreview == null) return; EditorTabPreview editorPreview = myEditorDiffPreview; if (onlyIfEmpty && editorPreview.hasContent()) return; editorPreview.closePreview(); }