public void setMaximum(double max, boolean degrees) {
if (currentMax == null || !Kernel.isEqual(currentMax, max)) {
currentMax = max;
slider.setMaximum(max);
printParts(maxLabel, max, degrees);
}
}
public void setMinimum(double min, boolean degrees) {
if (currentMin == null || !Kernel.isEqual(currentMin, min)) {
currentMin = min;
slider.setMinimum(min);
printParts(minLabel, min, degrees);
}
}
public SliderPanelW(double min, double max, Kernel kernel, boolean degrees) {
this.kernel = kernel;
minLabel = new Label();
add(minLabel);
slider = new SliderWJquery(min, max);
slider.setScale(((AppW) kernel.getApplication()).getArticleElement().getScaleX());
add(slider);
maxLabel = new Label();
setMinimum(min, degrees);
setMaximum(max, degrees);
add(maxLabel);
setStyleName("optionsSlider");
}
public void setValue(Double value) {
slider.setValue(value, false);
}
public HandlerRegistration addValueChangeHandler(ValueChangeHandler<Double> handler) {
return slider.addValueChangeHandler(handler);
}
public void setStep(double step) {
if (currentStep == null || !Kernel.isEqual(currentStep, step)) {
currentStep = step;
slider.setStep(step);
}
}
public Double getValue() {
return slider.getValue();
}
/** @param scale scale of the app, NOT including browser zoom */
public void setScale(double scale) {
if (slider != null) {
slider.setScale(scale);
}
}
public void setWidth(double width) {
double w = width - minLabel.getOffsetWidth() - maxLabel.getOffsetWidth();
slider.asWidget().getElement().getStyle().setWidth(w, Unit.PX);
}
public HandlerRegistration addChangeHandler(ChangeHandler handler) {
return slider.addChangeHandler(handler);
}
public void setValue(Double value, boolean fireEvents) {
slider.setValue(value, fireEvents);
}
