Source position: gtkvscale.inc line 34
function gtk_vscale_new_with_range(
min: gdouble;
max: gdouble;
step: gdouble
):PGtkWidget;