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