Source position: gtkmenu.inc line 163
procedure gtk_menu_set_monitor(
menu: PGtkMenu;
monitor_num: gint
);