MENU_KBD_NAVIGATION 1172 src/menu.c     	      menuflags |= MENU_KBD_NAVIGATION;
MENU_KBD_NAVIGATION 3815 src/term.c     			      menuflags & MENU_KBD_NAVIGATION);