Searched refs:DETAILMENU (Results 1 – 3 of 3) sorted by relevance
66 MENU, DETAILMENU, MENUENTRY, MENUTITLE, MENUCOMMENT, MENUNODE, enumerator
476 xml_insert_element (DETAILMENU, START); in begin_insertion()1093 xml_insert_element (DETAILMENU, END); in end_insertion()
2078 * makeinfo/xml.h: new element DETAILMENU.