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);
}
private static int getSpinnerBaseline(JSpinner spinner, int height) {
JComponent editor = spinner.getEditor();
if (editor instanceof JSpinner.DefaultEditor) {
JSpinner.DefaultEditor defaultEditor = (JSpinner.DefaultEditor) editor;
JTextField tf = defaultEditor.getTextField();
Insets spinnerInsets = spinner.getInsets();
Insets editorInsets = defaultEditor.getInsets();
int offset = spinnerInsets.top + editorInsets.top;
height -= (offset + spinnerInsets.bottom + editorInsets.bottom);
if (height <= 0) {
return -1;
}
return offset + getSingleLineTextBaseline(tf, height);
}
Insets insets = spinner.getInsets();
FontMetrics fm = spinner.getFontMetrics(spinner.getFont());
return insets.top + fm.getAscent();
}
private JPanel createForm() {
JCheckBox enabledCheckBox = new JCheckBox(Finder.getString("vhost.ssl.edit.enable"));
new CheckBoxPropertySynchronizer(enabledProperty, enabledCheckBox);
ChangeIndicator enabledChange = new ChangeIndicator();
enabledProperty.addChangeListener(enabledChange);
JLabel iPLabel = new JLabel(Finder.getString("vhost.ssl.edit.ip"));
JTextField iPField = GUIUtil.createTextField();
new TextComponentPropertySynchronizer<String, JTextComponent>(ipProperty, iPField);
ChangeIndicator iPChange = new ChangeIndicator();
ipProperty.addChangeListener(iPChange);
JLabel portLabel = new JLabel(Finder.getString("vhost.ssl.edit.port"));
SpinnerNumberModel portModel = new SpinnerNumberModel(0, 0, Short.MAX_VALUE, 1);
JSpinner portSpinner = new JSpinner(portModel);
JComponent editor = portSpinner.getEditor();
if (editor instanceof JSpinner.DefaultEditor) {
JTextField field = ((JSpinner.DefaultEditor) editor).getTextField();
field.setColumns(5);
field.setHorizontalAlignment(JTextField.RIGHT);
}
new SpinnerNumberModelPropertySynchronizer(portProperty, portModel, false);
portProperty.save();
ChangeIndicator portChange = new ChangeIndicator();
portProperty.addChangeListener(portChange);
JLabel certLabel = new JLabel(Finder.getString("vhost.ssl.edit.certificate"));
BrowsableFilePanel certPanel = new BrowsableFilePanel();
certPanel.setOpaque(false);
fileChoosers.add(certPanel.getFileChooser());
new TextComponentPropertySynchronizer<String, JTextComponent>(
certProperty, certPanel.getField());
ChangeIndicator certChange = new ChangeIndicator();
certProperty.addChangeListener(certChange);
JLabel keyLabel = new JLabel(Finder.getString("vhost.ssl.edit.key"));
BrowsableFilePanel keyPanel = new BrowsableFilePanel();
keyPanel.setOpaque(false);
fileChoosers.add(keyPanel.getFileChooser());
new TextComponentPropertySynchronizer<String, JTextComponent>(keyProperty, keyPanel.getField());
ChangeIndicator keyChange = new ChangeIndicator();
keyProperty.addChangeListener(keyChange);
JPanel formPanel = new JPanel();
formPanel.setOpaque(false);
Form form = new Form(formPanel, VerticalAnchor.TOP);
int hGap = GUIUtil.getHalfGap();
int sGap = 3 * hGap;
int indent = GUIUtil.getTextXOffset(enabledCheckBox);
ColumnLayoutConstraint c = new ColumnLayoutConstraint(HorizontalAnchor.FILL, hGap);
RowLayoutConstraint r = new RowLayoutConstraint(VerticalAnchor.CENTER, hGap);
HasAnchors a = new SimpleHasAnchors(HorizontalAnchor.LEFT, VerticalAnchor.CENTER);
form.addRow(HorizontalAnchor.LEFT, c);
form.add(enabledCheckBox, r);
form.add(enabledChange, r);
form.addTable(2, hGap, hGap, HorizontalAnchor.LEFT, c.setGap(sGap));
form.add(iPLabel, a);
form.add(getRow(hGap, iPField, iPChange), a);
form.add(portLabel, a);
form.add(getRow(hGap, portSpinner, portChange), a);
form.add(certLabel, a);
form.add(getRow(hGap, certPanel, certChange), a);
form.add(keyLabel, a);
form.add(getRow(hGap, keyPanel, keyChange), a);
return formPanel;
}
public GUI() {
// Frame
frame = new JFrame("HardwareSwap Notifier");
// Panels
panel = new JPanel();
group1 = new JPanel();
group2 = new JPanel();
group3 = new JPanel();
group4 = new JPanel();
group5 = new JPanel();
group6 = new JPanel();
group7 = new JPanel();
group8 = new JPanel();
// Menu Bar
menus = new JMenuBar();
fileMenu = new JMenu("File");
clearCurrent = new JMenuItem("Clear");
quitItem = new JMenuItem("Quit");
load = new JMenuItem("Load");
saveCurrent = new JMenuItem("Save All");
clearSaved = new JMenuItem("Clear Saved");
removeItem = new JMenuItem("Remove Item");
removePhone = new JMenuItem("Remove Phone");
saveCurrent = new JMenuItem("Save Current");
helpMenu = new JMenu("Help");
help = new JMenuItem("How To Use");
about = new JMenuItem("About");
// Buttons
add1 = new JButton("Add");
add2 = new JButton("Add");
start = new JButton("Start");
stop = new JButton("Stop");
save1 = new JButton("Add/Save");
save2 = new JButton("Add/Save");
show = new JButton("Display Data");
add1.setFocusPainted(false);
add2.setFocusPainted(false);
start.setFocusPainted(false);
stop.setFocusPainted(false);
save1.setFocusPainted(false);
save2.setFocusPainted(false);
show.setFocusPainted(false);
stop.setEnabled(false);
// CheckBox
remove = new JCheckBox("Remove items when found");
remove.setFocusable(false);
// Listener
ButtonListener listener = new ButtonListener();
add1.addActionListener(listener);
add2.addActionListener(listener);
start.addActionListener(listener);
stop.addActionListener(listener);
load.addActionListener(listener);
save1.addActionListener(listener);
save2.addActionListener(listener);
saveCurrent.addActionListener(listener);
show.addActionListener(listener);
quitItem.addActionListener(listener);
clearCurrent.addActionListener(listener);
clearSaved.addActionListener(listener);
saveCurrent.addActionListener(listener);
help.addActionListener(listener);
about.addActionListener(listener);
removePhone.addActionListener(listener);
removeItem.addActionListener(listener);
remove.addActionListener(listener);
// Carrier Selection
options = new String[10];
options[0] = "AT&T";
options[1] = "Boost Mobile";
options[2] = "Cellular One";
options[3] = "Nextel";
options[4] = "T-Mobile";
options[5] = "Tracfone";
options[6] = "US Cellular";
options[7] = "Sprint";
options[8] = "Verizon";
options[9] = "Virgin Mobile";
carriers = new JComboBox<String>(options);
// Text Fields
searchName = new JTextField(15);
item = new JTextField(15);
phone = new JTextField(15);
interval2 = new JTextField(15);
results = new JTextArea(10, 20);
JScrollPane scrollPane = new JScrollPane(results);
results.setEditable(false);
// Interval
intOptions = new SpinnerNumberModel(5, 1, 60, 1);
interval = new JSpinner(intOptions);
JFormattedTextField tf = ((JSpinner.DefaultEditor) interval.getEditor()).getTextField();
tf.setHorizontalAlignment(JFormattedTextField.LEFT);
// Background
panelBackground = new Color(237, 237, 237);
panel.setBackground(panelBackground);
searchName.setBackground(panelBackground);
item.setBackground(panelBackground);
phone.setBackground(panelBackground);
interval.setBackground(panelBackground);
// Panel Layouts
panel.setLayout(new BoxLayout(panel, BoxLayout.PAGE_AXIS));
group1.setLayout(new BoxLayout(group1, BoxLayout.PAGE_AXIS));
group2.setLayout(new BoxLayout(group2, BoxLayout.X_AXIS));
group3.setLayout(new BoxLayout(group3, BoxLayout.PAGE_AXIS));
group4.setLayout(new BoxLayout(group4, BoxLayout.X_AXIS));
group5.setLayout(new BoxLayout(group5, BoxLayout.X_AXIS));
group6.setLayout(new BoxLayout(group6, BoxLayout.X_AXIS));
group7.setLayout(new BoxLayout(group7, BoxLayout.X_AXIS));
group8.setLayout(new BoxLayout(group8, BoxLayout.X_AXIS));
// Borders
searchName.setBorder(
BorderFactory.createTitledBorder(
null,
"Search Name",
TitledBorder.DEFAULT_JUSTIFICATION,
TitledBorder.DEFAULT_JUSTIFICATION,
null,
Color.DARK_GRAY));
item.setBorder(
BorderFactory.createTitledBorder(
null,
"Item",
TitledBorder.DEFAULT_JUSTIFICATION,
TitledBorder.DEFAULT_JUSTIFICATION,
null,
Color.DARK_GRAY));
phone.setBorder(
BorderFactory.createTitledBorder(
null,
"Cell Phone",
TitledBorder.DEFAULT_JUSTIFICATION,
TitledBorder.DEFAULT_JUSTIFICATION,
null,
Color.DARK_GRAY));
group5.setBorder(
BorderFactory.createTitledBorder(
null,
"Check Interval (mins)",
TitledBorder.DEFAULT_JUSTIFICATION,
TitledBorder.DEFAULT_JUSTIFICATION,
null,
Color.DARK_GRAY));
// Sizes
panel.setPreferredSize(new Dimension(200, 0));
searchName.setMaximumSize(new Dimension(190, 50));
item.setMaximumSize(new Dimension(190, 50));
phone.setMaximumSize(new Dimension(185, 50));
carriers.setMaximumSize(new Dimension(175, 20));
group5.setPreferredSize(new Dimension(190, 47));
group5.setMaximumSize(new Dimension(190, 47));
add1.setMaximumSize(new Dimension(90, 20));
save1.setMaximumSize(new Dimension(90, 20));
add2.setMaximumSize(new Dimension(90, 20));
save2.setMaximumSize(new Dimension(90, 20));
start.setMaximumSize(new Dimension(90, 20));
stop.setMaximumSize(new Dimension(90, 20));
show.setMaximumSize(new Dimension(120, 20));
// Add file menu items
fileMenu.add(clearCurrent);
fileMenu.add(clearSaved);
fileMenu.add(load);
fileMenu.add(removeItem);
fileMenu.add(removePhone);
fileMenu.add(saveCurrent);
fileMenu.add(quitItem);
// Add help menu items
helpMenu.add(help);
helpMenu.add(about);
// Add to menu bar
menus.add(fileMenu);
menus.add(helpMenu);
// Add items to panel
group1.add(searchName);
group1.add(item);
group2.add(add1);
group2.add(Box.createHorizontalStrut(10));
group2.add(save1);
group6.add(remove);
group3.add(phone);
group3.add(Box.createVerticalStrut(10));
group3.add(carriers);
group4.add(add2);
group4.add(Box.createHorizontalStrut(10));
group4.add(save2);
group5.add(interval);
group7.add(show);
group8.add(start);
group8.add(Box.createHorizontalStrut(10));
group8.add(stop);
panel.add(Box.createVerticalStrut(10));
panel.add(group1);
panel.add(Box.createVerticalStrut(10));
panel.add(group2);
panel.add(Box.createVerticalStrut(40));
panel.add(group3);
panel.add(Box.createVerticalStrut(10));
panel.add(group4);
panel.add(Box.createVerticalStrut(40));
panel.add(group5);
panel.add(Box.createVerticalStrut(30));
panel.add(group6);
panel.add(Box.createVerticalStrut(40));
panel.add(group7);
panel.add(Box.createVerticalStrut(10));
panel.add(group8);
panel.add(Box.createVerticalStrut(10));
// Setup frame
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
frame.setJMenuBar(menus);
frame.add(scrollPane);
frame.add(BorderLayout.EAST, panel);
frame.pack();
frame.setSize(new Dimension(670, 620));
frame.setVisible(true);
}
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();
}
private static int getSpinnerBaselineResizeBehavior(JSpinner spinner) {
return getBaselineResizeBehavior(spinner.getEditor());
}
public PlayerWaitingView() {
this.setOpaque(true);
this.setLayout(new BorderLayout());
this.setBorder(BorderFactory.createLineBorder(Color.black, BORDER_WIDTH));
// set the heading at the top of the pane
label = new JLabel("Player Waiting View");
FontUtils.setFont(label, LABEL_TEXT_SIZE);
this.add(label, BorderLayout.NORTH);
// create the center panel that displays player info
center = new JPanel();
center.setLayout(new BoxLayout(center, BoxLayout.Y_AXIS));
this.add(center, BorderLayout.CENTER);
// create the AI panel for the bottom of the pane
aiPanel = new JPanel();
aiPanel.setLayout(new BoxLayout(aiPanel, BoxLayout.Y_AXIS));
// create the AI type panel
JPanel aiTypePanel = new JPanel();
aiTypePanel.setLayout(new BoxLayout(aiTypePanel, BoxLayout.X_AXIS));
aiTypePanel.add(Box.createHorizontalGlue());
JLabel aiTypeLabel = new JLabel("Select AI Type:");
FontUtils.setFont(aiTypeLabel, AI_TEXT_SIZE);
aiTypePanel.add(aiTypeLabel);
aiTypePanel.add(Box.createRigidArea(new Dimension(5, 0)));
aiModel = new SpinnerListModel();
aiChoices = new JSpinner(aiModel);
((JSpinner.DefaultEditor) aiChoices.getEditor()).getTextField().setEditable(false);
FontUtils.setFont(aiChoices, AI_TEXT_SIZE);
aiTypePanel.add(aiChoices);
aiTypePanel.add(Box.createHorizontalGlue());
aiPanel.add(aiTypePanel);
aiPanel.add(Box.createRigidArea(new Dimension(0, 10)));
// create the AI button panel
JPanel aiButtonPanel = new JPanel();
aiButtonPanel.setLayout(new BoxLayout(aiButtonPanel, BoxLayout.X_AXIS));
aiButtonPanel.add(Box.createHorizontalGlue());
addAiButton = new JButton("Add a computer player");
addAiButton.addActionListener(actionListener);
FontUtils.setFont(addAiButton, BUTTON_TEXT_SIZE);
aiButtonPanel.add(addAiButton);
aiButtonPanel.add(Box.createHorizontalGlue());
aiPanel.add(aiButtonPanel);
aiPanel.add(Box.createRigidArea(new Dimension(0, 10)));
// add the AI panel
this.add(aiPanel, BorderLayout.SOUTH);
}
public NumberField(NumberOption option) {
super(option);
panel = new JPanel(new GridBagLayout());
this.step = option.getStep();
Double min = option.getMin();
Double max = option.getMax();
Double defl = new Double(option.getDefault());
// Normalize parameters
if (min != null && defl.compareTo(min) < 0) {
defl = min;
} else if (max != null && defl.compareTo(max) > 0) {
defl = max;
}
if (min != null) {
sliderMin = (int) (min.doubleValue() / step);
} else {
sliderMin = SLIDER_DEFAULT_MIN;
}
if (max != null) {
sliderMax = (int) (max.doubleValue() / step);
} else {
sliderMax = SLIDER_DEFAULT_MAX;
}
// Create spinner
SpinnerNumberModel spinnerModel = new SpinnerNumberModel(defl, min, max, new Double(step));
spinner = new JSpinner(spinnerModel);
((JSpinner.DefaultEditor) spinner.getEditor()).getTextField().setColumns(FIELD_WIDTH);
// Create slider
slider = new JSlider(sliderMin, sliderMax, sliderIndex(defl));
slider.setPaintLabels(false);
slider.setPaintTicks(false);
slider.setSnapToTicks(false);
// Add listeners. The spinner is the master and the slider is
// the slave.
spinner.addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
int newIndex = sliderIndex((Double) spinner.getValue());
if (slider.getValue() != newIndex) {
slider.setValue(newIndex);
}
fireChangeEvent();
}
});
slider.addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
int newIndex = slider.getValue();
if (newIndex != sliderIndex((Double) spinner.getValue())) {
spinner.setValue(new Double(newIndex * step));
}
}
});
// Create enable checkbox
configureEnableToggle(
option.isInitiallyEnabled(),
string(option.getDisabledValue()),
Arrays.asList((JComponent) spinner, slider));
// Add to the panel
panel.add(spinner);
GridBagConstraints c = new GridBagConstraints();
c.insets = new Insets(0, 8, 0, 0);
c.fill = GridBagConstraints.HORIZONTAL;
c.weightx = 1;
panel.add(slider, c);
}
