Source position: gtkscale.pp line 45
procedure gtk_scale_set_digits(
scale: PGtkScale;
digits: gint
);