tty_highlight_if_desired  795 src/term.c           tty_highlight_if_desired (tty);
tty_highlight_if_desired  857 src/term.c       tty_highlight_if_desired (tty);
tty_highlight_if_desired  929 src/term.c     	  tty_highlight_if_desired (tty);