fun digits=(nb_digits: Int) `{
		gtk_scale_set_digits(self, nb_digits);
	`}