#Buttons are grouped towards the end of the box.
	new end_of_box `{ return GTK_BUTTONBOX_END; `}