ok(10 == s.getValue(), "The value of the slider should be 10 and it was " + s.getValue());
/*
* Range Slider
*/
RangeSlider rs = new RangeSlider(HTMLPanel.createUniqueId(), 10, 100, 20, 90);
g_panel.add(rs, WIDGETS_ID);
ok(20 == rs.getValueMin(), "The minimum value for the slider should be 20 and it was " + rs.getValueMin());
ok(90 == rs.getValueMax(), "The maximum value for the slider should be 90 and it was " + rs.getValueMax());
rs.setMinimum(30);
rs.setMaximum(80);
ok(30 == rs.getValueMin(), "The new minimum value for the slider should be 30 and it was " + rs.getValueMin());
ok(80 == rs.getValueMax(), "The new maximum value for the slider should be 80 and it was " + rs.getValueMax());
rs.setMinimum(90);
ok(90 == rs.getValueMin(), "The new minimum value for the slider should be 90 and it was " + rs.getValueMin());
}