int GTK.SpinButton()->get_value_as_int()
The current value of a Spin Button can be retrieved as a int.
Extracted from Pike v7.3 release 11 at 2001-11-03.