void set_menu(GtkWidget menu);

WARNING! This method has been deprecated in PHP-GTK 2 and should NOT be used in newly written code. 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.

See also: get_menu() , remove_menu()