void (DetailView.PreviewEditorState pushed) { if (pushed.getFile() != null) { myDetailViewDelegate .navigateInPreviewEditor( new DetailView.PreviewEditorState(pushed.getFile(), pushed.getNavigate(), pushed.getAttributes())); } else { myDetailViewDelegate.clearEditor(); } }