digest_single_submenu   44 src/menu.h     extern widget_value *digest_single_submenu (int, int, bool);
digest_single_submenu  348 src/pgtkmenu.c 	  wv = digest_single_submenu (submenu_start[i], submenu_end[i],
digest_single_submenu  372 src/w32menu.c  	  wv = digest_single_submenu (submenu_start[i], submenu_end[i],
digest_single_submenu 1056 src/xmenu.c    	  wv = digest_single_submenu (submenu_start[i], submenu_end[i],