Source position: gtkscalebuttonh.inc line 8
var gtk_scale_button_new: function(
size: TGtkIconSize;
min: gdouble;
max: gdouble;
step: gdouble;
icons: PPgchar
):PGtkWidget;