ENCODE_MENU_STRING  465 src/menu.c       return ENCODE_MENU_STRING (str);
ENCODE_MENU_STRING  698 src/menu.c     		  pane_name = ENCODE_MENU_STRING (pane_name);
ENCODE_MENU_STRING  785 src/menu.c     		  item_name = ENCODE_MENU_STRING (item_name);
ENCODE_MENU_STRING  791 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);