Removing Menu Items

["Daniel J. Kressin" <kressd11 sol acs uwosh edu>]

I've got a GtkWidget *menuitem (dynamically allocated), part of a menu
named bob.  What is the proper way to remove menuitem from bob and free
the memory associated with menuitem?  There's a gtk_menu_item_destroy
function in gtkmenuitem.c, but it doesn't appear to be in any .h files.

Dan 
 ____    Kressin   ____   .-----------------------------------. 
/___ \____________/ __ \  | dkressin@acm.org                  |
    \  \    /      /  \ | | Lead Programmer/Analyst           |
 ___/ __\/\/rench_ \__/ | | University of Wisconsin - Oshkosh |
\____/            \____/  | www.mio.uwosh.edu/~kressd11/      |
                          `-----------------------------------'