@Override
public void actionPerformed(ActionEvent e) {
parser.getHistory().clearHistory();
}
});
final ParserSettingsCheckBox save = new ParserSettingsCheckBox("Save", this, "Save History") {
@Override
public void onEnter() {
super.onEnter();
parser.setSaveHistory(this.getGUIItem().isSelected());
}
};
save.getGUIItem().setSelected(parser.isSavingHistory());
parser.addPropertyListener(new PropertyChangeListener() {
@Override
public void propertyChange(PropertyChangeEvent evt) {
save.getGUIItem().setSelected((boolean) evt.getNewValue());
}
}, Parser.SaveHistory);
c.gridy = 17;
settingsPanel.add(remove, c);
c.gridx = 2;
JPanel spacer1 = new JPanel();
spacer1.setOpaque(false);
spacer1.setPreferredSize(new Dimension(149, 25));
settingsPanel.add(spacer1, c);
c.gridx = 3;
//23, 110
save.getGUIItem().setOpaque(false);
addSettingsItem(save, c);
c.gridx = 4;
JPanel spacer2 = new JPanel();
spacer2.setOpaque(false);
spacer2.setPreferredSize(new Dimension(149, 25));