| gtk_menu_shell_activate_item (menu_shell, menu_item, force_deactivate) |
| gtk_menu_shell_append (menu_shell, child) |
| gtk_menu_shell_deactivate (menu_shell) |
| gtk_menu_shell_deselect (menu_shell) |
| gtk_menu_shell_get_type () -- replaces GTK_TYPE_MENU_SHELL |
| gtk_menu_shell_insert (menu_shell, child, position) |
| gtk_menu_shell_prepend (menu_shell, child) |
| gtk_menu_shell_select_item (menu_shell, menu_item) |