Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK
GTK.SpinButton

Method GTK.SpinButton()->set_digits()


Method set_digits

GTK.SpinButton set_digits(int precision)

Description

Set the number of digits to show to the user.