Source position: gtkscalebuttonh.inc line 11
var gtk_scale_button_set_value: procedure(
button: PGtkScaleButton;
value: gdouble
);