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 doUpdateDetailView(DetailView panel, boolean editorOnly) {
    Project project = ((XBreakpointBase) myBreakpoint).getProject();

    XSourcePosition sourcePosition = myBreakpoint.getSourcePosition();
    if (sourcePosition != null) {
      if (!showInEditor(panel, sourcePosition.getFile(), sourcePosition.getLine())) {
        return;
      }
    } else {
      panel.clearEditor();
    }

    if (!editorOnly) {

      XLightBreakpointPropertiesPanel<XBreakpoint<?>> propertiesPanel =
          new XLightBreakpointPropertiesPanel<XBreakpoint<?>>(
              project, getManager(), myBreakpoint, true);
      propertiesPanel.loadProperties();
      panel.setDetailPanel(propertiesPanel.getMainPanel());
    }
  }
 public void setDetailView(DetailView detailView) {
   myDetailView = detailView;
   myDetailController.setDetailView(new MyDetailView(myDetailView.getEditorState()));
 }