175176177178179180181182183184
private JButton getDeleteButton() { if (deleteButton == null) { deleteButton = new JButton(); deleteButton.setText(_(DELETE)); deleteButton.addActionListener(new DeleteFileActionListener(this, fileTreeModel)); } return deleteButton; }