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