fill_in_menu      100 src/w32menu.c  static int fill_in_menu (HMENU, widget_value *);
fill_in_menu      477 src/w32menu.c    fill_in_menu (menubar_widget, first_wv->contents);
fill_in_menu      749 src/w32menu.c    fill_in_menu (menu, first_wv->contents);
fill_in_menu     1458 src/w32menu.c  	  if (!fill_in_menu (sub_menu, wv->contents) ||