MENU_ITEM_NAME   3159 src/gtkutil.c    gtk_widget_set_name (wlbl, MENU_ITEM_NAME);
MENU_ITEM_NAME   3160 src/gtkutil.c    gtk_widget_set_name (wkey, MENU_ITEM_NAME);
MENU_ITEM_NAME   3161 src/gtkutil.c    gtk_widget_set_name (wbox, MENU_ITEM_NAME);
MENU_ITEM_NAME   3457 src/gtkutil.c        gtk_widget_set_name (w, MENU_ITEM_NAME);
MENU_ITEM_NAME   3722 src/gtkutil.c            gtk_widget_set_name (w, MENU_ITEM_NAME);