cbxformat.addItem(resources.getString("Octal"));
cbxformat.addItem(resources.getString("Binary"));
cbxformat.setEditable(false);
options.add(box);
ButtonGroup bg = new ButtonGroup();
bg.add(rbFixedText);
bg.add(rbUseSource);
box = Box.createHorizontalBox();
box.add(lformatdigits = new JLabel(resources.getString("DecimalDigits")));
box.add(Box.createHorizontalGlue());
box.add(nfformat = new NumberField(3,3));
nfformat.setColumns(3);
nfformat.setHorizontalAlignment(JTextField.RIGHT);
cbxformat.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
currentAction.option = new Object[] { new Integer(cbxformat.getSelectedIndex()) };
setActionProperties();
}
});
options.add(box);
JPanel textOptions = new JPanel(new BorderLayout());
textOptions.add(options, BorderLayout.NORTH);
optionPanel.add(textOptions, "text");
// ---------- Move options -----------
options = Box.createVerticalBox();
options.add(Box.createVerticalGlue());
Box descPanel = Box.createHorizontalBox();
descPanel.add(new JLabel(resources.getString("WhenReachingAnArrayEdge")));
descPanel.add(Box.createHorizontalGlue());
options.add(descPanel);
descPanel = Box.createHorizontalBox();
descPanel.add(rbDoNothing = new JRadioButton(resources.getString("DoNothing")));
descPanel.add(Box.createHorizontalGlue());
options.add(descPanel);
descPanel = Box.createHorizontalBox();
descPanel.add(rbWrap = new JRadioButton(resources.getString("WrapToOtherSide")));
descPanel.add(Box.createHorizontalGlue());
options.add(descPanel);
descPanel = Box.createHorizontalBox();
descPanel.add(rbExtend = new JRadioButton(resources.getString("ExtendArray")));
descPanel.add(Box.createHorizontalGlue());
options.add(descPanel);
options.add(Box.createVerticalGlue());
rbDoNothing.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent e) {
if (rbDoNothing.isSelected()) {
currentAction.option = AutomatonAction.OPTION_DO_NOTHING;
setActionProperties();
}
}
});
rbWrap.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent e) {
if (rbWrap.isSelected()) {
currentAction.option = AutomatonAction.OPTION_WRAP;
setActionProperties();
}
}
});
rbExtend.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent e) {
if (rbExtend.isSelected()) {
currentAction.option = AutomatonAction.OPTION_EXTEND;
setActionProperties();
}
}
});
bg = new ButtonGroup();
bg.add(rbDoNothing);
bg.add(rbWrap);
bg.add(rbExtend);
JPanel moveOptions = new JPanel(new BorderLayout());
moveOptions.add(options, BorderLayout.CENTER);
optionPanel.add(moveOptions, "move");