get_digits

Description:

public uint get_digits ()

Fetches the precision of this.

Parameters:

this	a `GtkSpinButton`

Returns:

the current precision