/** Performs the action of loading a session from a file. */
public void actionPerformed(ActionEvent e) {
DataModel dataModel = getDataEditor().getSelectedDataModel();
if (!(dataModel instanceof DataSet)) {
JOptionPane.showMessageDialog(JOptionUtils.centeringComp(), "Must be a tabular data set.");
return;
}
this.dataSet = (DataSet) dataModel;
SpinnerNumberModel spinnerNumberModel = new SpinnerNumberModel(getNumLags(), 0, 20, 1);
JSpinner jSpinner = new JSpinner(spinnerNumberModel);
jSpinner.setPreferredSize(jSpinner.getPreferredSize());
spinnerNumberModel.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
SpinnerNumberModel model = (SpinnerNumberModel) e.getSource();
setNumLags(model.getNumber().intValue());
}
});
JPanel panel = new JPanel();
panel.setLayout(new BorderLayout());
Box b = Box.createVerticalBox();
Box b1 = Box.createHorizontalBox();
b1.add(new JLabel("Number of time lags: "));
b1.add(Box.createHorizontalGlue());
b1.add(Box.createHorizontalStrut(15));
b1.add(jSpinner);
b1.setBorder(new EmptyBorder(10, 10, 10, 10));
b.add(b1);
panel.add(b, BorderLayout.CENTER);
EditorWindow editorWindow = new EditorWindow(panel, "Create time series data", "Save", true);
DesktopController.getInstance().addEditorWindow(editorWindow);
editorWindow.setVisible(true);
editorWindow.addInternalFrameListener(
new InternalFrameAdapter() {
public void internalFrameClosed(InternalFrameEvent e) {
EditorWindow window = (EditorWindow) e.getSource();
if (!window.isCanceled()) {
if (dataSet.isContinuous()) {
createContinuousTimeSeriesData();
} else if (dataSet.isDiscrete()) {
createDiscreteTimeSeriesData();
} else {
JOptionPane.showMessageDialog(
JOptionUtils.centeringComp(),
"Data set must be either continuous or discrete.");
}
}
}
});
}
/**
* Méthode de création du panelInit
*
* @return
*/
private JPanel createPanelInit() {
JPanel panRight = new JPanel();
panRight.setLayout(new BoxLayout(panRight, BoxLayout.Y_AXIS));
butListParty = new JButton("Liste des parties");
butListParty.addActionListener(this);
JPanel panCreate = new JPanel();
panCreate.setLayout(new BoxLayout(panCreate, BoxLayout.X_AXIS));
textCreate = new JTextField("", 40);
textCreate.setMaximumSize(textCreate.getPreferredSize());
butCreateParty = new JButton("Creation de parties ");
butCreateParty.addActionListener(this);
SpinnerModel model = new SpinnerNumberModel(3, 2, 8, 1);
spinNbPlayer = new JSpinner(model);
spinNbPlayer.setMaximumSize(spinNbPlayer.getPreferredSize());
panCreate.add(new JLabel("Nouveau nom de partie : "));
panCreate.add(textCreate);
panCreate.add(Box.createHorizontalStrut(20));
panCreate.add(new JLabel("Nombres de joueurs : "));
panCreate.add(spinNbPlayer);
panCreate.add(butCreateParty);
JPanel panJoin = new JPanel();
panJoin.setLayout(new BoxLayout(panJoin, BoxLayout.X_AXIS));
textJoin = new JTextField("", 2);
textJoin.setMaximumSize(textJoin.getPreferredSize());
butJoinParty = new JButton("Rejoindre la partie ");
butJoinParty.addActionListener(this);
panJoin.add(new JLabel("Num Partie : "));
panJoin.add(textJoin);
panJoin.add(butJoinParty);
panRight.add(butListParty);
panRight.add(panCreate);
panRight.add(panJoin);
panRight.add(Box.createVerticalGlue());
textInfoInit = new JTextArea(20, 100);
textInfoInit.setLineWrap(true);
JScrollPane scroll =
new JScrollPane(
textInfoInit,
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
JPanel panAll = new JPanel();
panAll.setLayout(new BoxLayout(panAll, BoxLayout.X_AXIS));
panAll.add(scroll);
panAll.add(panRight);
return panAll;
}
private void configureSpinnerFloat(JSpinner spinner) {
JSpinner.NumberEditor editor = (JSpinner.NumberEditor) spinner.getEditor();
DecimalFormat format = editor.getFormat();
format.setMinimumFractionDigits(3);
format.setMinimumIntegerDigits(1);
editor.getTextField().setHorizontalAlignment(SwingConstants.CENTER);
Dimension d = spinner.getPreferredSize();
d.width = 60;
spinner.setPreferredSize(d);
spinner.addChangeListener(this);
spinner.setMaximumSize(d);
}
/** Builds the panel. */
public void setup() {
SpinnerNumberModel model =
new SpinnerNumberModel(this.params.getInt("numTimeLags", 1), 0, Integer.MAX_VALUE, 1);
JSpinner jSpinner = new JSpinner(model);
jSpinner.setPreferredSize(jSpinner.getPreferredSize());
model.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
SpinnerNumberModel model = (SpinnerNumberModel) e.getSource();
params.set("numTimeLags", model.getNumber().intValue());
}
});
Box b1 = Box.createHorizontalBox();
b1.add(new JLabel("Number of lags: "));
b1.add(Box.createHorizontalGlue());
b1.add(Box.createHorizontalStrut(15));
b1.add(jSpinner);
b1.setBorder(new EmptyBorder(10, 10, 10, 10));
add(b1, BorderLayout.CENTER);
}
private void setUpA1(List<DataSet> dataSets, Box a1) {
int[] shifts = params.getShifts();
if (shifts.length != dataSets.get(0).getNumColumns()) {
shifts = new int[dataSets.get(0).getNumColumns()];
params.setShifts(shifts);
}
final int[] _shifts = shifts;
for (int i = 0; i < dataSets.get(0).getNumColumns(); i++) {
Node node = dataSets.get(0).getVariable(i);
Box a5 = Box.createHorizontalBox();
SpinnerModel shiftModel = new SpinnerNumberModel(_shifts[i], -50, 50, 1);
JSpinner shiftSpinner = new JSpinner(shiftModel);
shiftSpinner.setMaximumSize(shiftSpinner.getPreferredSize());
final int nodeIndex = i;
shiftSpinner.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
JSpinner spinner = (JSpinner) e.getSource();
SpinnerNumberModel model = (SpinnerNumberModel) spinner.getModel();
int value = (Integer) model.getValue();
_shifts[nodeIndex] = value;
params.setShifts(_shifts);
}
});
a5.add(new JLabel(" Shift for "));
a5.add(new JLabel(node.getName()));
a5.add(new JLabel(" is "));
a5.add(shiftSpinner);
a5.add(Box.createHorizontalGlue());
a1.add(a5);
}
}
public LingDisplay(final Ling.StoredGraphs storedGraphs) {
this.storedGraphs = storedGraphs;
if (storedGraphs.getNumGraphs() == 0) {
workbench = new GraphWorkbench();
} else {
workbench = new GraphWorkbench(storedGraphs.getGraph(0));
}
subsetIndices = getStableIndices(storedGraphs);
final SpinnerNumberModel model =
new SpinnerNumberModel(subsetIndices.size() == 0 ? 0 : 1, 0, subsetIndices.size(), 1);
model.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
int index = model.getNumber().intValue();
workbench.setGraph(storedGraphs.getGraph(subsetIndices.get(index - 1)));
}
});
spinner = new JSpinner();
subsetCombo = new JComboBox(new String[] {"Show Stable", "Show Unstable", "Show All"});
subsetCombo.setSelectedItem("Show Stable");
spinner.setModel(model);
totalLabel = new JLabel(" of " + subsetIndices.size());
subsetCombo.setMaximumSize(subsetCombo.getPreferredSize());
subsetCombo.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
resetDisplay();
}
});
spinner.setPreferredSize(new Dimension(50, 20));
spinner.setMaximumSize(spinner.getPreferredSize());
Box b = Box.createVerticalBox();
Box b1 = Box.createHorizontalBox();
// b1.add(Box.createHorizontalGlue());
// b1.add(Box.createHorizontalStrut(10));
b1.add(subsetCombo);
b1.add(Box.createHorizontalGlue());
b1.add(new JLabel("DAG "));
b1.add(spinner);
b1.add(totalLabel);
b.add(b1);
Box b2 = Box.createHorizontalBox();
JPanel graphPanel = new JPanel();
graphPanel.setLayout(new BorderLayout());
JScrollPane jScrollPane = new JScrollPane(workbench);
// jScrollPane.setPreferredSize(new Dimension(400, 400));
graphPanel.add(jScrollPane);
// graphPanel.setBorder(new TitledBorder("DAG"));
b2.add(graphPanel);
b.add(b2);
setLayout(new BorderLayout());
// add(menuBar(), BorderLayout.NORTH);
add(b, BorderLayout.CENTER);
}
public DetectPolygonControlPanel(DetectBlackPolygonApp owner) {
this.owner = owner;
imageView = new JComboBox();
imageView.addItem("Input");
imageView.addItem("Binary");
imageView.addItem("Black");
imageView.addActionListener(this);
imageView.setMaximumSize(imageView.getPreferredSize());
selectZoom = new JSpinner(new SpinnerNumberModel(1, 0.1, 50, 1));
selectZoom.addChangeListener(this);
selectZoom.setMaximumSize(selectZoom.getPreferredSize());
showCorners = new JCheckBox("Corners");
showCorners.addActionListener(this);
showCorners.setSelected(bShowCorners);
showLines = new JCheckBox("Lines");
showLines.setSelected(bShowLines);
showLines.addActionListener(this);
showContour = new JCheckBox("Contour");
showContour.addActionListener(this);
showContour.setSelected(bShowContour);
threshold = new ThresholdControlPanel(owner);
refineChoice = new JComboBox();
for (PolygonRefineType n : PolygonRefineType.values()) {
refineChoice.addItem(n.name());
}
refineChoice.setSelectedIndex(refineType.ordinal());
refineChoice.addActionListener(this);
refineChoice.setMaximumSize(refineChoice.getPreferredSize());
spinnerMinContourSize =
new JSpinner(new SpinnerNumberModel(config.minContourImageWidthFraction, 0.0, 0.2, 0.01));
configureSpinnerFloat(spinnerMinContourSize);
spinnerMinSides = new JSpinner(new SpinnerNumberModel(minSides, 3, 20, 1));
spinnerMinSides.setMaximumSize(spinnerMinSides.getPreferredSize());
spinnerMinSides.addChangeListener(this);
spinnerMaxSides = new JSpinner(new SpinnerNumberModel(maxSides, 3, 20, 1));
spinnerMaxSides.setMaximumSize(spinnerMaxSides.getPreferredSize());
spinnerMaxSides.addChangeListener(this);
spinnerMinEdge =
new JSpinner(new SpinnerNumberModel(config.minimumEdgeIntensity, 0.0, 255.0, 1.0));
spinnerMinEdge.setMaximumSize(spinnerMinEdge.getPreferredSize());
spinnerMinEdge.addChangeListener(this);
spinnerContourSplit =
new JSpinner(new SpinnerNumberModel(config.contour2Poly_splitFraction, 0.0, 1.0, 0.01));
configureSpinnerFloat(spinnerContourSplit);
spinnerContourMinSplit =
new JSpinner(
new SpinnerNumberModel(config.contour2Poly_minimumSideFraction, 0.0, 1.0, 0.001));
configureSpinnerFloat(spinnerContourMinSplit);
spinnerContourSplit.addChangeListener(this);
spinnerContourIterations =
new JSpinner(new SpinnerNumberModel(config.contour2Poly_iterations, 1, 200, 1));
spinnerContourIterations.setMaximumSize(spinnerContourIterations.getPreferredSize());
spinnerContourIterations.addChangeListener(this);
spinnerSplitPenalty =
new JSpinner(new SpinnerNumberModel(config.splitPenalty, 0.0, 100.0, 1.0));
configureSpinnerFloat(spinnerSplitPenalty);
setConvex = new JCheckBox("Convex");
setConvex.addActionListener(this);
setConvex.setSelected(config.convex);
setBorder = new JCheckBox("Image Border");
setBorder.addActionListener(this);
setBorder.setSelected(config.canTouchBorder);
spinnerLineSamples = new JSpinner(new SpinnerNumberModel(configLine.lineSamples, 5, 100, 1));
spinnerLineSamples.setMaximumSize(spinnerLineSamples.getPreferredSize());
spinnerLineSamples.addChangeListener(this);
spinnerCornerOffset = new JSpinner(new SpinnerNumberModel(configLine.cornerOffset, 0, 10, 1));
spinnerCornerOffset.setMaximumSize(spinnerCornerOffset.getPreferredSize());
spinnerCornerOffset.addChangeListener(this);
spinnerSampleRadius = new JSpinner(new SpinnerNumberModel(configLine.sampleRadius, 0, 10, 1));
spinnerSampleRadius.setMaximumSize(spinnerCornerOffset.getPreferredSize());
spinnerSampleRadius.addChangeListener(this);
spinnerRefineMaxIterations =
new JSpinner(new SpinnerNumberModel(configLine.maxIterations, 0, 200, 1));
spinnerRefineMaxIterations.setMaximumSize(spinnerRefineMaxIterations.getPreferredSize());
spinnerRefineMaxIterations.addChangeListener(this);
spinnerConvergeTol =
new JSpinner(new SpinnerNumberModel(configLine.convergeTolPixels, 0.0, 2.0, 0.005));
configureSpinnerFloat(spinnerConvergeTol);
spinnerMaxCornerChange =
new JSpinner(new SpinnerNumberModel(configLine.maxCornerChangePixel, 0.0, 50.0, 1.0));
configureSpinnerFloat(spinnerMaxCornerChange);
addLabeled(imageView, "View: ", this);
addLabeled(selectZoom, "Zoom", this);
addAlignLeft(showCorners, this);
addAlignLeft(showLines, this);
addAlignLeft(showContour, this);
add(threshold);
addLabeled(spinnerMinContourSize, "Min Contour Size: ", this);
addLabeled(spinnerMinSides, "Minimum Sides: ", this);
addLabeled(spinnerMaxSides, "Maximum Sides: ", this);
addLabeled(spinnerMinEdge, "Edge Intensity: ", this);
addAlignLeft(setConvex, this);
addAlignLeft(setBorder, this);
addCenterLabel("Contour", this);
addLabeled(spinnerContourSplit, "Split Fraction: ", this);
addLabeled(spinnerContourMinSplit, "Min Split: ", this);
addLabeled(spinnerContourIterations, "Max Iterations: ", this);
addLabeled(spinnerSplitPenalty, "Split Penalty: ", this);
addCenterLabel("Refinement", this);
addLabeled(refineChoice, "Refine: ", this);
addLabeled(spinnerLineSamples, "Line Samples: ", this);
addLabeled(spinnerCornerOffset, "Corner Offset: ", this);
addLabeled(spinnerSampleRadius, "Sample Radius: ", this);
addLabeled(spinnerRefineMaxIterations, "Iterations: ", this);
addLabeled(spinnerConvergeTol, "Converge Tol Pixels: ", this);
addLabeled(spinnerMaxCornerChange, "Max Corner Change: ", this);
addVerticalGlue(this);
}
private void initializeComponents() {
this.setTitle("Configuration");
this.setResizable(false);
setLayout(new BorderLayout(20, 20));
JPanel mainPanel = new JPanel();
mainPanel.setLayout(new BoxLayout(mainPanel, BoxLayout.X_AXIS));
mainPanel.setBorder(new LineBorder(mainPanel.getBackground(), 10));
add(mainPanel, BorderLayout.CENTER);
GridBagConstraints labelConstraints = new GridBagConstraints();
labelConstraints.gridx = 0;
labelConstraints.anchor = GridBagConstraints.WEST;
labelConstraints.insets = new Insets(5, 5, 5, 5);
GridBagConstraints inputConstraints = new GridBagConstraints();
inputConstraints.gridx = 1;
inputConstraints.anchor = GridBagConstraints.EAST;
inputConstraints.weightx = 1;
inputConstraints.insets = new Insets(5, 5, 5, 5);
JPanel evolutionOptionsPanel = new JPanel();
evolutionOptionsPanel.setBorder(new TitledBorder("Evolution"));
evolutionOptionsPanel.setLayout(new BoxLayout(evolutionOptionsPanel, BoxLayout.Y_AXIS));
mainPanel.add(evolutionOptionsPanel);
// world size
JPanel worldSizePanel = new JPanel(new GridBagLayout());
evolutionOptionsPanel.add(worldSizePanel);
JLabel worldSizeLabel = new JLabel("World Size");
worldSizeLabel.setToolTipText("Size of the world in pixels. Width x Height.");
worldSizePanel.add(worldSizeLabel, labelConstraints);
JPanel worldSizeInputPanel = new JPanel();
worldSizeInputPanel.setLayout(new GridBagLayout());
final AutoSelectOnFocusSpinner worldSizeWidthSpinner =
new AutoSelectOnFocusSpinner(
new SpinnerNumberModel(config.getDimension().width, 1, Integer.MAX_VALUE, 1));
final AutoSelectOnFocusSpinner worldSizeHeightSpinner =
new AutoSelectOnFocusSpinner(
new SpinnerNumberModel(config.getDimension().height, 1, Integer.MAX_VALUE, 1));
worldSizeInputPanel.add(worldSizeWidthSpinner);
JLabel separatorLabel = new JLabel("x");
GridBagConstraints c = new GridBagConstraints();
c.insets = new Insets(0, 5, 0, 5);
worldSizeInputPanel.add(separatorLabel, c);
worldSizeInputPanel.add(worldSizeHeightSpinner);
worldSizePanel.add(worldSizeInputPanel, inputConstraints);
// starting energy
JPanel startingEnergyPanel = new JPanel(new GridBagLayout());
evolutionOptionsPanel.add(startingEnergyPanel);
JLabel startingEnergyLabel = new JLabel("Starting Energy");
startingEnergyLabel.setToolTipText(
"<html>The amount of energy all newly painted pixels start out with.<br />Note that changing this will not affect already painted pixels.</html>");
startingEnergyPanel.add(startingEnergyLabel, labelConstraints);
final AutoSelectOnFocusSpinner startingEnergySpinner =
new AutoSelectOnFocusSpinner(
new SpinnerNumberModel(config.startingEnergy, 1, Integer.MAX_VALUE, 1));
startingEnergyPanel.add(startingEnergySpinner, inputConstraints);
// mutation rate
JPanel mutationRatePanel = new JPanel(new GridBagLayout());
evolutionOptionsPanel.add(mutationRatePanel);
JLabel mutationRateLabel = new JLabel("Mutation Rate");
mutationRateLabel.setToolTipText(
"<html>Chance for a mutation to occur during copy or mixing operations.<br />A value of 0.01 means a 1% chance, a value of 0 disables mutation.</html>");
mutationRatePanel.add(mutationRateLabel, labelConstraints);
final JSpinner mutationRateSpinner =
new JSpinner(new SpinnerNumberModel(config.mutationRate, 0.0, 1.0, 0.01));
mutationRateSpinner.setEditor(
new JSpinner.NumberEditor(mutationRateSpinner, "#.##############"));
mutationRateSpinner.setPreferredSize(
new Dimension(180, mutationRateSpinner.getPreferredSize().height));
final JFormattedTextField mutationRateSpinnerText =
((JSpinner.NumberEditor) mutationRateSpinner.getEditor()).getTextField();
mutationRateSpinnerText.addFocusListener(
new FocusListener() {
public void focusGained(FocusEvent e) {
SwingUtilities.invokeLater(
new Runnable() {
public void run() {
mutationRateSpinnerText.selectAll();
}
});
}
public void focusLost(FocusEvent e) {}
});
mutationRatePanel.add(mutationRateSpinner, inputConstraints);
JPanel guiOptionsPanel = new JPanel();
guiOptionsPanel.setBorder(new TitledBorder("GUI"));
guiOptionsPanel.setLayout(new BoxLayout(guiOptionsPanel, BoxLayout.Y_AXIS));
mainPanel.add(guiOptionsPanel);
// background color
JPanel backgroundColorPanel = new JPanel(new GridBagLayout());
guiOptionsPanel.add(backgroundColorPanel, labelConstraints);
JLabel backgroundColorLabel = new JLabel("Background Color");
backgroundColorLabel.setToolTipText(
"<html>Pick the background color.<br />If you have a lot of dark pixels, you might want to set this to a light color.</html>");
backgroundColorPanel.add(backgroundColorLabel, labelConstraints);
backgroundColor = new PixelColor(config.backgroundColor);
JPanel backgroundColorAlignmentPanel = new JPanel();
backgroundColorAlignmentPanel.setLayout(new GridBagLayout());
backgroundColorAlignmentPanel.setPreferredSize(mutationRateSpinner.getPreferredSize());
final ColorChooserLabel backgroundColorChooserLabel = new ColorChooserLabel(backgroundColor);
backgroundColorAlignmentPanel.add(backgroundColorChooserLabel);
backgroundColorPanel.add(backgroundColorAlignmentPanel, inputConstraints);
// FPS
JPanel fpsPanel = new JPanel(new GridBagLayout());
guiOptionsPanel.add(fpsPanel);
JLabel fpsLabel = new JLabel("FPS");
fpsLabel.setToolTipText(
"<html>The repaint interval in frames per second (FPS).<br />Set this to a lower value to save a few CPU cycles.</html>");
fpsPanel.add(fpsLabel, labelConstraints);
final AutoSelectOnFocusSpinner fpsSpinner =
new AutoSelectOnFocusSpinner(new SpinnerNumberModel(config.fps, 1, Integer.MAX_VALUE, 1));
fpsPanel.add(fpsSpinner, inputConstraints);
// paint history size
JPanel paintHistorySizePanel = new JPanel(new GridBagLayout());
guiOptionsPanel.add(paintHistorySizePanel);
JLabel paintHistorySizeLabel = new JLabel("Paint-History Size");
paintHistorySizeLabel.setToolTipText(
"<html>Sets the number of entries in the paint history.<br />In case you have not found it yet: the paint history is the little menu that appears when you right-click on the image.</html>");
paintHistorySizePanel.add(paintHistorySizeLabel, labelConstraints);
final AutoSelectOnFocusSpinner paintHistorySizeSpinner =
new AutoSelectOnFocusSpinner(
new SpinnerNumberModel(config.paintHistorySize, 1, Integer.MAX_VALUE, 1));
paintHistorySizePanel.add(paintHistorySizeSpinner, inputConstraints);
JPanel videoOptionsPanel = new JPanel();
videoOptionsPanel.setBorder(new TitledBorder("Video Recording"));
videoOptionsPanel.setLayout(new BoxLayout(videoOptionsPanel, BoxLayout.Y_AXIS));
mainPanel.add(videoOptionsPanel);
// FPS video
JPanel fpsVideoPanel = new JPanel(new GridBagLayout());
videoOptionsPanel.add(fpsVideoPanel);
JLabel fpsVideoLabel = new JLabel("FPS of videos");
fpsVideoLabel.setToolTipText("The number of frames per second (FPS) in recorded videos.");
fpsVideoPanel.add(fpsVideoLabel, labelConstraints);
final AutoSelectOnFocusSpinner fpsVideoSpinner =
new AutoSelectOnFocusSpinner(
new SpinnerNumberModel(config.fpsVideo, 1, Integer.MAX_VALUE, 1));
fpsVideoPanel.add(fpsVideoSpinner, inputConstraints);
// video encoder command
JPanel videoEncoderPanel = new JPanel(new GridBagLayout());
videoOptionsPanel.add(videoEncoderPanel);
JLabel videoEncoderLabel = new JLabel("Video Encoder");
videoEncoderLabel.setToolTipText(
"<html>The command to invoke your video encoder.<br />Use the tokens INPUT_FILE and OUTPUT_FILE to denote input and output files of your encoder.</html>");
videoEncoderPanel.add(videoEncoderLabel, labelConstraints);
final JTextArea videoEncoderTextArea = new JTextArea(Configuration.ENCODER_COMMAND);
videoEncoderTextArea.setLineWrap(true);
videoEncoderTextArea.setWrapStyleWord(true);
JScrollPane videoEncoderScrollPane =
new JScrollPane(
videoEncoderTextArea,
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
videoEncoderScrollPane.setViewportBorder(null);
videoEncoderScrollPane.setPreferredSize(
new Dimension(worldSizeInputPanel.getPreferredSize().width, 100));
videoEncoderPanel.add(videoEncoderScrollPane, inputConstraints);
JPanel controlPanel = new JPanel();
add(controlPanel, BorderLayout.SOUTH);
JButton okButton = new JButton("OK");
okButton.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
new Thread() {
@Override
public void run() {
config.world.addChangeListener(
new IChangeListener() {
public void changed() {
int i, j;
double d;
String s;
// evolution
i = (Integer) worldSizeWidthSpinner.getValue();
j = (Integer) worldSizeHeightSpinner.getValue();
if (config.getDimension().width != i || config.getDimension().height != i) {
config.setDimension(new Dimension(i, j));
}
i = (Integer) startingEnergySpinner.getValue();
if (config.startingEnergy != i) {
config.startingEnergy = i;
}
d = (Double) mutationRateSpinner.getValue();
if (config.mutationRate != d) {
config.mutationRate = d;
}
// gui
i = backgroundColor.getInteger();
if (config.backgroundColor != i) {
config.backgroundColor = i;
}
i = (Integer) fpsSpinner.getValue();
if (config.fps != i) {
config.fps = i;
}
i = (Integer) paintHistorySizeSpinner.getValue();
if (config.paintHistorySize != i) {
config.paintHistorySize = i;
}
// video recording
i = (Integer) fpsVideoSpinner.getValue();
if (config.fpsVideo != i) {
config.fpsVideo = i;
}
s = videoEncoderTextArea.getText();
if (false == Configuration.ENCODER_COMMAND.equals(s)) {
Configuration.ENCODER_COMMAND = s;
}
dispose();
}
});
}
}.start();
}
});
controlPanel.add(okButton);
JButton cancelButton = new JButton("Cancel");
cancelButton.addActionListener(
new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
dispose();
}
});
controlPanel.add(cancelButton);
pack();
}
/** Builds the panel. */
public void setup() {
DataModelList dataModelList = null;
for (Object parentModel : parentModels) {
if (parentModel instanceof DataWrapper) {
DataWrapper dataWrapper = (DataWrapper) parentModel;
dataModelList = dataWrapper.getDataModelList();
}
}
if (dataModelList == null) {
throw new NullPointerException("Null data model list.");
}
for (DataModel model : dataModelList) {
if (!(model instanceof DataSet)) {
JOptionPane.showMessageDialog(
JOptionUtils.centeringComp(),
"For the shift search, all of the data in the data box must be in the form of data sets.");
return;
}
}
final List<DataSet> dataSets = new ArrayList<DataSet>();
for (Object aDataModelList : dataModelList) {
dataSets.add((DataSet) aDataModelList);
}
SpinnerModel maxVarsModel =
new SpinnerNumberModel(
Preferences.userRoot().getInt("shiftSearchMaxNumShifts", 3), 1, 50, 1);
JSpinner maxVarsSpinner = new JSpinner(maxVarsModel);
maxVarsSpinner.setMaximumSize(maxVarsSpinner.getPreferredSize());
maxVarsSpinner.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
JSpinner spinner = (JSpinner) e.getSource();
SpinnerNumberModel model = (SpinnerNumberModel) spinner.getModel();
int value = (Integer) model.getValue();
Preferences.userRoot().putInt("shiftSearchMaxNumShifts", value);
}
});
SpinnerModel maxShiftModel =
new SpinnerNumberModel(Preferences.userRoot().getInt("shiftSearchMaxShift", 2), 1, 50, 1);
JSpinner maxShiftSpinner = new JSpinner(maxShiftModel);
maxShiftSpinner.setMaximumSize(maxShiftSpinner.getPreferredSize());
maxShiftSpinner.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
JSpinner spinner = (JSpinner) e.getSource();
SpinnerNumberModel model = (SpinnerNumberModel) spinner.getModel();
int value = (Integer) model.getValue();
Preferences.userRoot().putInt("shiftSearchMaxShift", value);
}
});
JButton searchButton = new JButton("Search");
final JButton stopButton = new JButton("Stop");
final JTextArea textArea = new JTextArea();
JScrollPane textScroll = new JScrollPane(textArea);
textScroll.setPreferredSize(new Dimension(500, 200));
searchButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent actionEvent) {
final Thread thread =
new Thread() {
public void run() {
textArea.setText("");
doShiftSearch(dataSets, textArea);
}
};
thread.start();
}
});
stopButton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent actionEvent) {
if (search != null) {
search.stop();
}
}
});
JComboBox directionBox = new JComboBox(new String[] {"forward", "backward"});
directionBox.setSelectedItem(params.isForwardSearch() ? "forward" : "backward");
directionBox.setMaximumSize(directionBox.getPreferredSize());
directionBox.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent actionEvent) {
JComboBox source = (JComboBox) actionEvent.getSource();
String selected = (String) source.getSelectedItem();
params.setForwardSearch("forward".equals(selected));
}
});
Box b1 = Box.createVerticalBox();
Box b2 = Box.createHorizontalBox();
b2.add(new JLabel("Maximum number of variables in shift set is: "));
b2.add(maxVarsSpinner);
b2.add(Box.createHorizontalGlue());
b1.add(b2);
Box b3 = Box.createHorizontalBox();
b3.add(new JLabel("Maximum "));
b3.add(directionBox);
b3.add(new JLabel(" shift: "));
b3.add(maxShiftSpinner);
b3.add(Box.createHorizontalGlue());
b1.add(b3);
Box b4 = Box.createHorizontalBox();
b4.add(new JLabel("Output:"));
b4.add(Box.createHorizontalGlue());
b1.add(b4);
Box b5 = Box.createHorizontalBox();
b5.add(textScroll);
b1.add(b5);
Box b6 = Box.createHorizontalBox();
b6.add(searchButton);
b6.add(stopButton);
b1.add(b6);
final Box a1 = Box.createVerticalBox();
Box a2 = Box.createHorizontalBox();
a2.add(new JLabel("Specify the shift (positive or negative) for each variable:"));
a2.add(Box.createHorizontalGlue());
a1.add(a2);
a1.add(Box.createVerticalStrut(20));
setUpA1(dataSets, a1);
JTabbedPane tabbedPane = new JTabbedPane();
tabbedPane.addTab("Shift", new JScrollPane(a1));
tabbedPane.addTab("Search", new JScrollPane(b1));
add(tabbedPane, BorderLayout.CENTER);
tabbedPane.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent changeEvent) {
System.out.println("a1 shown");
a1.removeAll();
setUpA1(dataSets, a1);
}
});
}
