private LabeledRangeSlider createSeedsFilter() {
LabeledRangeSlider slider = new LabeledRangeSlider(I18n.tr("Seeds"), null, 0, 1000);
slider.setPreferredSize(new Dimension(200, (int) slider.getPreferredSize().getHeight()));
slider.addChangeListener(
new ChangeListener() {
public void stateChanged(ChangeEvent e) {
sliderSeeds_stateChanged(e);
}
});
return slider;
}
