private void sliderSize_stateChanged(ChangeEvent e) {
if (generalFilter != null) {
generalFilter.setRangeSize(sliderSize.getLowerValue(), sliderSize.getUpperValue());
}
}
private void sliderSeeds_stateChanged(ChangeEvent e) {
// System.out.println(sliderSeeds.getLowerValue() + " - " + sliderSeeds.getUpperValue());
if (generalFilter != null) {
generalFilter.setRangeSeeds(sliderSeeds.getLowerValue(), sliderSeeds.getUpperValue());
}
}
private void textFieldKeywords_keyReleased(KeyEvent e) {
if (generalFilter != null) {
generalFilter.updateKeywordFiltering(textFieldKeywords.getText());
}
}