Source position: gtkscalebuttonh.inc line 10
var gtk_scale_button_get_value: function(
button: PGtkScaleButton
):gdouble;