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