tty_highlight_if_desired  768 src/term.c           tty_highlight_if_desired (tty);
tty_highlight_if_desired  830 src/term.c       tty_highlight_if_desired (tty);
tty_highlight_if_desired  902 src/term.c     	  tty_highlight_if_desired (tty);