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()));
}
