Ejemplo n.º 1
0
  private LabeledTextField createNameFilter() {
    LabeledTextField textField = new LabeledTextField(I18n.tr("Name|Source|Ext."), 80, -1, 200);

    textField.addKeyListener(
        new KeyAdapter() {
          @Override
          public void keyReleased(KeyEvent e) {
            textFieldKeywords_keyReleased(e);
          }
        });

    return textField;
  }
Ejemplo n.º 2
0
  public void resetFilters() {
    sliderSeeds.setMinimum(0);
    sliderSeeds.setMaximum(1000);
    sliderSeeds.setLowerValue(0);
    sliderSeeds.setUpperValue(1000);

    sliderSize.setMinimum(0);
    sliderSize.setMaximum(1000);
    sliderSize.setLowerValue(0);
    sliderSize.setUpperValue(1000);

    sliderSeeds.getMinimumValueLabel().setText("0");
    sliderSeeds.getMaximumValueLabel().setText(I18n.tr("Max"));
    sliderSize.getMinimumValueLabel().setText("0");
    sliderSize.getMaximumValueLabel().setText(I18n.tr("Max"));

    textFieldKeywords.setText("");
  }
Ejemplo n.º 3
0
 public void onOptionsPanelShown() {
   textFieldKeywords.requestFocus();
 }
Ejemplo n.º 4
0
 private void textFieldKeywords_keyReleased(KeyEvent e) {
   if (generalFilter != null) {
     generalFilter.updateKeywordFiltering(textFieldKeywords.getText());
   }
 }