return TRUE;
void Gtk_menu_set_screen(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkMenu* object;  GdkScreen* screen;  /* no return value */  if ( ! gn_check_arity(XBUF, 2, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_MENU, (GObject**)&object) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GDK_TYPE_SCREEN, (GObject**)&screen) ) return;  gtk_menu_set_screen(object, screen);  gn_put_void(XBUF);}