FOCUS_IMPLICIT    280 src/androidterm.h     FOCUS_IMPLICIT = 1,
FOCUS_IMPLICIT    441 src/pgtkterm.h   FOCUS_IMPLICIT = 1,
FOCUS_IMPLICIT    301 src/w32term.h    FOCUS_IMPLICIT = 1,
FOCUS_IMPLICIT   1383 src/xterm.h      FOCUS_IMPLICIT = 1,