int GTK.ToggleButton()->get_active()
returns 1 if the button is pressed, 0 otherwise.
Extracted from Pike v7.3 release 11 at 2001-11-03.