set_value

Description:

public void set_value (double value)

Set the value of the slider

Parameters:

this	A Slider
value	A value between 0.0 and 1.0