Source position: gtkscale.inc line 55
procedure gtk_scale_set_digits(
scale: PGtkScale;
digits: gint
);