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