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