Searched refs:submenu (Results 1 – 6 of 6) sorted by relevance
6 <div class="submenu">19 <div class="submenu">28 <div class="submenu">34 <div class="submenu">43 <div class="submenu">50 <div class="submenu">55 <div class="submenu">
20 #menu .submenu {
6 <div class="submenu">11 <div class="submenu">
4002 Menu *submenu = submenus[i].get(); in RecalculateNameLengths() local4003 if (static_cast<size_t>(m_max_submenu_name_length) < submenu->m_name.size()) in RecalculateNameLengths()4004 m_max_submenu_name_length = submenu->m_name.size(); in RecalculateNameLengths()4006 submenu->m_key_name.size()) in RecalculateNameLengths()4007 m_max_submenu_key_name_length = submenu->m_key_name.size(); in RecalculateNameLengths()
11245 documentation, menu item @samp{M}, submenu item @samp{FOOEY},