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