buttons_box = new GPack.button_box (GtkPack.BBox.cast (Glade.get_widget_msg ~name:"buttons_box" ~info:"GtkHButtonBox" xmldata))