make_widget_for_menu_item 3196 src/gtkutil.c      wtoadd = make_widget_for_menu_item (utf8_label, utf8_key);
make_widget_for_menu_item 3814 src/gtkutil.c            GtkWidget *wtoadd = make_widget_for_menu_item (utf8_label, utf8_key);