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