code: @Override
      public void setValue(Double value, boolean fireEvents) {
          Double old = getValue();
          if (old == value || old != null && old.equals(value)) return;
          internVal = value;
          setInputValueAttr(value);
          ignoreChange = true;
          try {
              refresh(input.getElement().getId(), doubleToNiceStr(value));
          } finally {
              ignoreChange = false;
          }
          if (fireEvents) ValueChangeEvent.fire(this, value);
      }
docs: Sets the value of the slider to the given value
  
  @param value the new value of the slider, must be in the range of the slider