destroy_menu      641 lib/widget/menu.c     g_clear_list (&menubar->menu, (GDestroyNotify) destroy_menu);
destroy_menu       50 lib/widget/menu.h void destroy_menu (menu_t * menu);