hbox_buttons =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox_buttons" ~info:"GtkHBox" xmldata))