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); } }