GtkOptionMenu::set_menu
void set_menu(GtkWidget menu);
警告! このメソッドは PHP-GTK 2 では非推奨です。 新しく書くコードでは使用してはいけません。 Set the menu that is popped up.
Provides the GtkMenu that is popped up to allow the user to choose a new value. You should provide a simple menu avoiding the use of tearoff menu items, submenus, and accelerators.
参照: get_menu() , remove_menu()