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()); } }