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