DRAW_INVERSE_VIDEO 2658 src/androidterm.c   else if (s->hl == DRAW_INVERSE_VIDEO)
DRAW_INVERSE_VIDEO 1212 src/pgtkterm.c   else if (s->hl == DRAW_INVERSE_VIDEO)
DRAW_INVERSE_VIDEO 1119 src/w32term.c    else if (s->hl == DRAW_INVERSE_VIDEO)
DRAW_INVERSE_VIDEO 8380 src/xterm.c      else if (s->hl == DRAW_INVERSE_VIDEO)