MENU_KBD_NAVIGATION 1171 src/menu.c     	      menuflags |= MENU_KBD_NAVIGATION;
MENU_KBD_NAVIGATION 3747 src/term.c     			      menuflags & MENU_KBD_NAVIGATION);