w32_free_menu_strings   96 src/w32fns.c   extern void w32_free_menu_strings (HWND);
w32_free_menu_strings 5025 src/w32fns.c   	      w32_free_menu_strings (hwnd);
w32_free_menu_strings  102 src/w32menu.c  void w32_free_menu_strings (HWND);
w32_free_menu_strings  246 src/w32menu.c  	      w32_free_menu_strings (FRAME_W32_WINDOW (f));
w32_free_menu_strings  256 src/w32menu.c    w32_free_menu_strings (FRAME_W32_WINDOW (f));
w32_free_menu_strings  772 src/w32menu.c    w32_free_menu_strings (FRAME_W32_WINDOW (f));