/* Free the memory used by a menu item. This includes the memory used by its key.  */
static void* menu_item_destroy(struct menu *m, struct menu_item *item, void *extra)
/* Free the memory used by a menu item. This includes the memory used by its key.  */
static void* menu_item_destroy(struct menu *m, struct menu_item *item, void *extra)
{
	if (item->key)
		free(item->key);
	free(item);
	return NULL;
}