menu_insert_menu =
      new GMenu.menu (GtkMenu.Menu.cast
        (Glade.get_widget_msg ~name:"menu_insert_menu" ~info:"GtkMenu" xmldata))