672 def _build_full_tree(menu):  argument
678     for node in _shown_full_nodes(menu):
695 def _shown_full_nodes(menu):  argument
724     return rec(menu.list)
734 def _shown_menu_nodes(menu):  argument
759     return rec(menu.list)
1547 def _enter_menu_and_select_first(menu):  argument
1551     _enter_menu(menu)
1555 def _enter_menu(menu):  argument
1560     _cur_menu = menu
1563     _backbutton["state"] = "disabled" if menu is _kconf.top_node else "normal"
2014     menu = node.parent
2015     while not menu.is_menuconfig:
2016         menu = menu.parent
2017     return menu