private JPanel createSelectionPanel(Identified[] circles) {
JPanel filterBox =
createFilterBox(
properties.getCircleLabel(), circles, properties.getCircleSelectionRenderer());
magicLearnView.init(properties);
JPanel selectionPanel = new JPanel(new MigLayout(fillWithoutInsets()));
selectionPanel.add(filterBox, new CC().wrap());
magicLearnView.addTo(selectionPanel);
return selectionPanel;
}
@Override
public IMagicLearnView addMutationsView(final IMutationLearnViewProperties giftViewProperties) {
MagicLearnView learnView =
new MagicLearnView() {
@Override
protected ListSelectionListener createLearnedListListener(JButton button, JList list) {
return giftViewProperties.getRemoveButtonEnabledListener(button, list);
}
};
learnView.init(giftViewProperties);
learnView.addTo(giftPanel);
return learnView;
}