GtkOptionMenu::get_menu

GtkWidget get_menu();

WARNING! This method has been deprecated in PHP-GTK 2 and should NOT be used in newly written code.

Returns the GtkMenu associated with the GtkOptionMenu.

See also: remove_menu() , set_menu()