tty_turn_off_highlight   70 src/term.c     static void tty_turn_off_highlight (struct tty_display_info *);
tty_turn_off_highlight  231 src/term.c           tty_turn_off_highlight (tty);
tty_turn_off_highlight  330 src/term.c         tty_turn_off_highlight (tty);
tty_turn_off_highlight  382 src/term.c         tty_turn_off_highlight (tty);
tty_turn_off_highlight  393 src/term.c         tty_turn_off_highlight (tty);
tty_turn_off_highlight  815 src/term.c           tty_turn_off_highlight (tty);
tty_turn_off_highlight  874 src/term.c       tty_turn_off_highlight (tty);
tty_turn_off_highlight  962 src/term.c     	  tty_turn_off_highlight (tty);