get_digits

Description:

public uint get_digits ()

Fetches the precision of this.

See set_digits.

Parameters:

this

a SpinButton

Returns:

the current precision