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");
}
/** @param scale scale of the app, NOT including browser zoom */
public void setScale(double scale) {
if (slider != null) {
slider.setScale(scale);
}
}
