tty_turn_off_highlight   68 src/term.c     static void tty_turn_off_highlight (struct tty_display_info *);
tty_turn_off_highlight  217 src/term.c           tty_turn_off_highlight (tty);
tty_turn_off_highlight  316 src/term.c         tty_turn_off_highlight (tty);
tty_turn_off_highlight  368 src/term.c         tty_turn_off_highlight (tty);
tty_turn_off_highlight  379 src/term.c         tty_turn_off_highlight (tty);
tty_turn_off_highlight  788 src/term.c           tty_turn_off_highlight (tty);
tty_turn_off_highlight  847 src/term.c       tty_turn_off_highlight (tty);
tty_turn_off_highlight  935 src/term.c     	  tty_turn_off_highlight (tty);