Ejemplo n.º 1
0
  /** Creates the JSlider for this object */
  private void createSlider() {
    int initSliderValue = modelViewTransform.modelToView(initialValue);
    if (initSliderValue < SLIDER_MIN || initSliderValue > SLIDER_MAX) {
      throw new RuntimeException(
          "Illegal slider value, min="
              + SLIDER_MIN
              + ", max="
              + SLIDER_MAX
              + ", value="
              + initSliderValue);
    }
    final JSlider slider =
        new JSlider(SwingConstants.HORIZONTAL, SLIDER_MIN, SLIDER_MAX, initSliderValue);

    slider.setPaintTicks(true);
    slider.setPaintLabels(true);
    slider.addChangeListener(
        new ChangeListener() {
          public void stateChanged(ChangeEvent e) {
            int sliderValue = slider.getValue();
            double modelValue = modelViewTransform.viewToModel(sliderValue);
            if (!settingSliderValue) {
              setValue(modelValue);
            }
          }
        });
    int dMinor = SLIDER_MAX / (numMinorTicks - 1);
    double modelDX = Math.abs(modelViewTransform.viewToModel(dMinor / 4));
    SliderKeyHandler skh = new SliderKeyHandler(modelDX);
    slider.addKeyListener(skh);
    this.slider = slider;
    relabelSlider();
  }
Ejemplo n.º 2
0
 public void setModelLabels(Hashtable modelLabels) {
   Hashtable viewLabels = new Hashtable();
   Set keys = modelLabels.keySet();
   Iterator it = keys.iterator();
   while (it.hasNext()) {
     Object o = (Object) it.next();
     Number modelValue = (Number) o;
     double v = modelValue.doubleValue();
     int viewValue = modelViewTransform.modelToView(v);
     viewLabels.put(new Integer(viewValue), modelLabels.get(o));
   }
   slider.setLabelTable(viewLabels);
 }
Ejemplo n.º 3
0
  public void setValue(final double value) {
    // bugfix: test for change of state was incomplete: comparing the new 'value' against the old
    // 'value' missed valid changes in the transform.
    if (slider.getValue() == modelViewTransform.modelToView(value) && this.value == value) {
      return;
    }
    if (value >= min && value <= max) {
      String string = textFieldFormat.format(value);
      double newValue = value;
      try {

        newValue = textFieldFormat.parse(string).doubleValue();
        //                System.out.println( "value="+value+", string = " + string +",
        // newValue="+newValue);
      } catch (ParseException e) {
        e.printStackTrace();
      }
      //            string = string.replace( ',', '.' );
      //            double newValue = Double.parseDouble( string );
      if (slider.getValue() == modelViewTransform.modelToView(value) && this.value == newValue) {
        return;
      }

      this.value = newValue;
      textField.setText(string);
      int sliderValue = modelViewTransform.modelToView(value);
      if (sliderValue != slider.getValue()) {
        settingSliderValue = true; // disable recursive calls to this method
        slider.setValue(sliderValue); // this recursively changes values
        settingSliderValue = false;
        slider.revalidate();
        slider.repaint();
      }
      fireStateChanged();
    }
  }
Ejemplo n.º 4
0
  /**
   * Computes the numbers that appear directly below the slider, formats them, and adds them as
   * labels to the slider. Also lays out the tick marks
   */
  private void relabelSlider() {
    int dMajor = SLIDER_MAX / (numMajorTicks - 1);
    int dMinor = SLIDER_MAX / (numMinorTicks - 1);
    Font labelFont = new PhetFont(0, 10);
    Hashtable table = new Hashtable();
    for (int value = 0; value <= SLIDER_MAX; value += dMajor) {
      double modelValue = modelViewTransform.viewToModel(value);
      JLabel label = new JLabel(sliderLabelFormat.format(modelValue));
      label.setFont(labelFont);
      table.put(new Integer(value), label);
    }
    slider.setLabelTable(table);

    slider.setMajorTickSpacing(dMajor);
    slider.setMinorTickSpacing(dMinor);
  }