int GTK.ButtonBox()->get_spacing()
Return the spacing that is added between the buttons
Extracted from Pike v7.3 release 11 at 2001-11-03.