// Buttons
final Dimension buttonDimension = new Dimension();
buttonDimension.setSize(30d, 24d);
final JIconButton upButton = new JIconButton("icons/001_24.png");
upButton.setPreferredSize(buttonDimension);
upButton.setMaximumSize(buttonDimension);
upButton.setMinimumSize(buttonDimension);
upButton.addActionListener(new ActionListener(){
@Override
public void actionPerformed(final ActionEvent e) {
ListOperatorPanel.this.listOperator.swapTerms(term,true);
ListOperatorPanel.this.repaintAllTerms();
}});
final JIconButton downButton = new JIconButton("icons/001_22.png");
downButton.setPreferredSize(buttonDimension);
downButton.setMaximumSize(buttonDimension);
downButton.setMinimumSize(buttonDimension);
downButton.addActionListener(new ActionListener(){
@Override
public void actionPerformed(final ActionEvent e) {
ListOperatorPanel.this.listOperator.swapTerms(term,false);
ListOperatorPanel.this.repaintAllTerms();
}});
final JIconButton deleteButton = new JIconButton("icons/001_02.png");
deleteButton.setPreferredSize(buttonDimension);
deleteButton.setMaximumSize(buttonDimension);
deleteButton.setMinimumSize(buttonDimension);
deleteButton.addActionListener(new ActionListener(){
@Override
public void actionPerformed(final ActionEvent e) {
ListOperatorPanel.this.removeRow(term);
ListOperatorPanel.this.listOperator.getTerms().remove(term);
}});