gtk-kt
gtk
/
org.gtk.gtk.widgets.range
/
Scale
/
digits
digits
var
digits
:
Int
Content copied to clipboard
See also
gtk_scale_set_digits