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