Extracted from Pike v8.0 release 164 as of 2018-07-18.
   

Method GTK2.Scale()->set_digits()


Method set_digits

GTK2.Scale set_digits(int precision)

Description

Sets the number of decimal places that are displayed in the value.