Lines Matching refs:slider
295 SaneSlider slider = new FixedSaneSlider(
300 addLabeledOption(group, title, slider, c);
301 addControl(slider);
320 SaneSlider slider = new SaneSlider(
324 addLabeledOption(group, title, slider, c);
325 addControl(slider);
754 * A slider in our dialog. This base class handles integer ranges.
755 * It consists of a slider and a label which shows the current value.
761 protected JSlider slider; // The slider itself.
782 c.weightx = .8; // Give most weight to slider.
784 slider = new JSlider(JSlider.HORIZONTAL, min, max,
786 add(slider, c);
790 slider.addChangeListener(this); // Listen to ourself.
798 int val = slider.getValue();
813 slider.setValue(val[0]);
820 * A slider with fixed-point values:
853 double val = (double) slider.getValue();
877 slider.setValue((int) val);