private JPanel getParamsPanel() {
JPanel paramsPanel = new JPanel();
Box b2 = Box.createVerticalBox();
JComponent indTestParamBox = getIndTestParamBox();
if (indTestParamBox != null) {
b2.add(indTestParamBox);
}
paramsPanel.add(b2);
paramsPanel.setBorder(new TitledBorder("Parameters"));
return paramsPanel;
}
/** Sets the name of this editor. */
public final void setName(String name) {
String oldName = getName();
super.setName(name);
firePropertyChange("name", oldName, getName());
}
/** Construct the toolbar panel. */
protected JPanel getToolbar() {
JPanel toolbar = new JPanel();
getExecuteButton().setText("Execute*");
getExecuteButton()
.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
removeStatsTabs();
execute();
}
});
JButton statsButton = new JButton("Calc Stats");
statsButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
Window owner = (Window) getTopLevelAncestor();
new WatchedProcess(owner) {
public void watch() {
calcStats();
}
};
}
});
Box b1 = Box.createVerticalBox();
b1.add(getParamsPanel());
b1.add(Box.createVerticalStrut(10));
Box b2 = Box.createHorizontalBox();
b2.add(Box.createGlue());
b2.add(getExecuteButton());
b1.add(b2);
b1.add(Box.createVerticalStrut(10));
if (getAlgorithmRunner().getDataModel() instanceof DataSet) {
Box b3 = Box.createHorizontalBox();
b3.add(Box.createGlue());
b3.add(statsButton);
b1.add(b3);
}
// if (getAlgorithmRunner().getParams() instanceof MeekSearchParams) {
// MeekSearchParams params = (MeekSearchParams) getAlgorithmRunner().getParams();
// JCheckBox preventCycles = new JCheckBox("Aggressively Prevent Cycles");
// preventCycles.setHorizontalTextPosition(AbstractButton.RIGHT);
// preventCycles.setSelected(params.isAggressivelyPreventCycles());
//
// preventCycles.addActionListener(new ActionListener() {
// public void actionPerformed(ActionEvent e) {
// JCheckBox box = (JCheckBox) e.getSource();
// MeekSearchParams params = (MeekSearchParams)
// getAlgorithmRunner().getParams();
// params.setAggressivelyPreventCycles(box.isSelected());
// }
// });
//
// b1.add(Box.createVerticalStrut(5));
// Box hBox = Box.createHorizontalBox();
// hBox.add(Box.createHorizontalGlue());
// hBox.add(preventCycles);
// b1.add(hBox);
// b1.add(Box.createVerticalStrut(5));
// }
Box b4 = Box.createHorizontalBox();
JLabel label =
new JLabel(
"<html>"
+ "*Please note that some"
+ "<br>searches may take a"
+ "<br>long time to complete."
+ "</html>");
label.setHorizontalAlignment(SwingConstants.CENTER);
label.setVerticalAlignment(SwingConstants.CENTER);
label.setBorder(new TitledBorder(""));
b4.add(label);
b1.add(Box.createVerticalStrut(10));
b1.add(b4);
toolbar.add(b1);
return toolbar;
}