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