GtkMenu::set_monitor

void set_monitor(int monitor_num);