Gtk.Scale.set_digits Reference Manual
Gtk.Scale.set_digits:
Description:
public
void
set_digits (
int
digits)
created by
valadoc