ENCODE_MENU_STRING  464 src/menu.c       return ENCODE_MENU_STRING (str);
ENCODE_MENU_STRING  697 src/menu.c     		  pane_name = ENCODE_MENU_STRING (pane_name);
ENCODE_MENU_STRING  784 src/menu.c     		  item_name = ENCODE_MENU_STRING (item_name);
ENCODE_MENU_STRING  790 src/menu.c     		  descrip = ENCODE_MENU_STRING (descrip);
ENCODE_MENU_STRING  663 src/pgtkmenu.c 	      pane_name = ENCODE_MENU_STRING (pane_name);
ENCODE_MENU_STRING  712 src/pgtkmenu.c 	      item_name = ENCODE_MENU_STRING (item_name);
ENCODE_MENU_STRING  718 src/pgtkmenu.c 	      descrip = ENCODE_MENU_STRING (descrip);
ENCODE_MENU_STRING  765 src/pgtkmenu.c 	title = ENCODE_MENU_STRING (title);
ENCODE_MENU_STRING 1954 src/xmenu.c    	      pane_name = ENCODE_MENU_STRING (pane_name);
ENCODE_MENU_STRING 2004 src/xmenu.c    	      item_name = ENCODE_MENU_STRING (item_name);
ENCODE_MENU_STRING 2010 src/xmenu.c    	      descrip = ENCODE_MENU_STRING (descrip);
ENCODE_MENU_STRING 2065 src/xmenu.c    	title = ENCODE_MENU_STRING (title);